Uses of Class
AF.Estado

Packages that use Estado

AF
ER

Uses of Estado in AF

Fields in AF declared as Estado

protected Estado	AFabstracto.inicial Estado inicial del automata.
protected Estado	Arco.qi Estado origen del arco/transicion.
protected Estado	Arco.qj Estado destino del arco/transicion.

Methods in AF that return Estado

Estado	AFabstracto.create_estado() Crea un nuevo estado distinto a los actualmente almacenados en el automata.
static Estado	Estado.get_estado_diferente(java.util.Collection c) Crea un nuevo estado distinto a los actualmente almacenados en la coleccion de entrada.
Estado	Arco.get_qdestino() Devuelve el estado destino del arco/transicion
Estado	Arco.get_qorigen() Devuelve el estado origen del arco/transicion
Estado	AFabstracto.getInicial() Devuelve el estado inicial del automata

Methods in AF with parameters of type Estado

private void	AF.calc_distinguibles(int n, boolean[] tabla, java.util.Hashtable q2i, Estado[] i2q, AF afcnx) Obtiene la matriz de distinguibilidad del algoritmo de minimizacion marcando (i.e. a true) las entradas correspondientes a pares de estados equivalentes.
boolean	AFabstracto.contains_estado(Estado q) Comprueba si el automata contiene un estado determinado
java.util.LinkedHashSet	AF.Ecierre(Estado q) Calcula el E-cierre de un estado dado
boolean	AFabstracto.esFinal(Estado q) Comprueba si un estado es final
boolean	AFabstracto.esInicial(Estado q) Comprueba si un estado es inicial
private AF	AF.generate_AFD_minimo(int n, boolean[] tabla, java.util.Hashtable q2i, Estado[] i2q, AF afcnx) Construye el automata minimo resultante: ultima parte del proceso de minimizacion
private java.util.ArrayList	AF.get_equivalentes(int n, boolean[] tabla, java.util.Hashtable q2i, Estado[] i2q) Devuelve los conjuntos de estados equivalentes (clases de equivalencia) en base a la matriz de distinguibilidad del algoritmo de minimizacion.
java.util.LinkedHashSet	AFabstracto.getArcosPpo(Estado q) Devuelve el conjunto de arcos/transiciones del automata que salen de un estado dado
java.util.LinkedHashSet	AFabstracto.getArcosPpoTerminal(Estado q, Terminal t) Devuelve el conjunto de arcos/transiciones del automata que salen de un estado dado y estan etiquetados con un terminal dado
private void	AF.init_distinguibles(int n, boolean[] tabla, java.util.Hashtable q2i, Estado[] i2q, AF afcnx) Inicializa la matriz de distinguibilidad del algoritmo de minimizacion marcando (i.e. a true) las entradas correspondientes a pares (estado final, estado no final).
boolean	Arco.isSource(Estado q) Determina si el arco sale de un estado dado
boolean	Arco.isTarget(Estado q) Determina si el arco entra en un estado dado
private void	AF.print_distinguibles(int n, boolean[] matriz, java.util.Hashtable q2i, Estado[] i2q) Imprime la matriz de distinguibilidad.
private int	AF.search_conj_qs(Estado q, java.util.ArrayList a) Busca el conjunto de estados equivalentes en el que esta almacenado un estado dado.
java.util.LinkedHashSet	AF.siguientes(Estado q, Terminal t) Devuelve el conjunto de estados alcanzables desde un estado q consumiendo un terminal t de la entrada.
java.util.LinkedHashSet	AF.unidos(Estado q, Terminal t) Obtiene el conjunto de estados conectados DIRECTAMENTE con un estado dado mediante un terminal determinado.

Constructors in AF with parameters of type Estado

AF(java.util.LinkedHashSet qs, java.util.LinkedHashSet ab, Estado i, java.util.LinkedHashSet as, java.util.LinkedHashSet fs)
Constructor directamente heredado de la superclase abstracta (vease AFabstracto.AFabstracto(LinkedHashSet,LinkedHashSet,Estado,LinkedHashSet,LinkedHashSet)).

AFabstracto(java.util.LinkedHashSet qs, java.util.LinkedHashSet ab, Estado i, java.util.LinkedHashSet as, java.util.LinkedHashSet fs)
NOTA: Al ser creado e inicializado el objeto, el constructor anhade a mayores, automatica y explicitamente, el epsilon (caracter especial Terminal.EPSILON) al alfabeto del automata.

Arco(Estado qi, Estado qj, Terminal t)

Estado(Estado q)
Constructor que crea un estado copia de otro

Uses of Estado in ER

Methods in ER that return Estado

protected Estado

ER.nextQ(Int qId) Metodo auxiliar para la crea un estado con el identificador dado por un Int qId e incrementa ese qId de cara a futuras llamadas.