CA

Class CAUtil

java.lang.Object

CA.CAUtil

public class CAUtil
extends java.lang.Object

Utilities for CA: product, aproduct

Author:

Davide Basile

Constructor Summary

Constructors

Constructor and Description
CAUtil()

Method Summary

Methods

Modifier and Type	Method and Description
static CA	aproduct(CA[] a) compute the associative product of the CA in the array a
static CA	product(CA[] aut) compute the product automaton of the CA given in aut
protected static void	recGen(int[][] fin, int[][] modif, int[] states, int indmod, int indstates, int[] insert) Generates all possible combinations of the states in fin, stored in modif
static CA	removeHangedTransitions(CA at) remove transitions who do not reach a final state
static CA	removeUnreachable(CA at) remove the unreachable transitions from aut

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CAUtil

public CAUtil()

Method Detail

product

public static CA product(CA[] aut)

compute the product automaton of the CA given in aut

Parameters:

aut - the operands of the product

Returns:

the composition of aut

removeUnreachable

public static CA removeUnreachable(CA at)

remove the unreachable transitions from aut

Parameters:

at - the CA

Returns:

a new CA clone of aut with only reachable transitions

removeHangedTransitions

public static CA removeHangedTransitions(CA at)

remove transitions who do not reach a final state

Parameters:

at - the CA

Returns:

CA without hanged transitions

recGen

protected static void recGen(int[][] fin,
          int[][] modif,
          int[] states,
          int indmod,
          int indstates,
          int[] insert)

Generates all possible combinations of the states in fin, stored in modif

Parameters:

fin - the array of final states of each principal

modif - the array of final states of the composition, modified by side effect

states - states[i] = fin[i].length

indmod - index in modif, the first call must be 0

indstates - the index in states, the first call must be states.length-1

insert - it is used to generate all the combinations of final states, the first call must be all zero

aproduct

public static CA aproduct(CA[] a)

compute the associative product of the CA in the array a

Parameters:

a - array of CA

Returns:

the associative product