/*Método que convierte un AFN en un AFD*/
public void convertirAFN(Automoton AFN)
{
/*Inicalización de variables*/
alfabeto = AFN.alphabet;
id = AFN.id;
Queue pila = new Queue();
transTable = new int[MAX_STATES, alfabeto.Count];
/*Fin de inicialización de variables*/
HashSet <State> S = E_cerradura(AFN.initialState); //1) S= e-cerradura(S0)
DEstados.Add(S); //Añado a DEstados el estado inicial.
if (esAceptado(S, AFN.finalState))
{
this.posicionesAceptadas.Add(DEstados.Count);
}
pila.Enqueue(S);//Lo añado a los estados sin marcar.
int estado = START;
while (pila.Count > 0) //Mientras hay un estado sin marcar en DEstados
{
HashSet <State> T = (HashSet <State>)pila.Dequeue(); //Marcar estado T.
for (int i = 0; i < alfabeto.Count; i++) //Para cada simbolo de entrada hacer mov
{
String simbolo = alfabeto.ElementAt(alfabeto.Count - i - 1);
HashSet <State> U = E_cerradura(Move(T, simbolo));//U = e-cerradura(mover(T,a));
if (U.Count <= 0)
{
transTable[estado, i] = TRAP;
}
else if (!estaEnDEstados(U, DEstados))
{
pila.Enqueue(U);
DEstados.Add(U);
transTable[estado, i] = DEstados.Count;
if (esAceptado(U, AFN.finalState))
{
this.posicionesAceptadas.Add(DEstados.Count);
}
}
else
{
transTable[estado, i] = getPos(DEstados, U) + 1;
}
}
estado++;
}
}
public void getAFN()
{
Stack <Automoton> automatonCons = new Stack <Automoton>();
Automoton auto = new Automoton();
foreach (Nodo n in this.postfix)
{
if (n.left == null && n.right == null)//SI ES SIMBOLO TERMINAL
{
//AGREGAR A LA PILA EL AUTOMATA PARA UN TERMINAL, ES DECIR UN NODO.
Automoton part = new Automoton(); //Creo un nuevo automata.
State first = new State(); //Creo el primer estado.
State last = new State(); //Creo el último estado e indico que será el final.
Transition niu = new Transition(); //Creo la transición.
niu.character = n.data; //Asigno el caracter con el cual funcionará.
niu.state = last; //Asigno un estado al cual debe moverse.
first.AddTransition(niu);
part.initialState = first; //Le asigno al automata su estado inicial.
part.finalState = last; //Le asigno su estado final
auto = part;
automatonCons.Push(part);//Añado el automata a la pila.
}
else
{
if (n.data == "?")
{
Automoton aux1 = automatonCons.Pop();
Automoton nuevo = new Automoton();
State s1 = new State();
State s2 = new State();
State s3 = new State();
State s4 = new State();
Transition t1 = new Transition();
Transition t2 = new Transition();
Transition t3 = new Transition();
Transition t4 = new Transition();
Transition t5 = new Transition();
t1.character = "ɛ";
t2.character = "ɛ";
t3.character = "ɛ";
t4.character = "ɛ";
t5.character = "ɛ";
t1.state = s2;
t2.state = aux1.initialState;
s1.AddTransition(t1);
s1.AddTransition(t2);
t3.state = s3;
s2.AddTransition(t3);
t4.state = s4;
s3.AddTransition(t4);
t5.state = s4;
aux1.finalState.AddTransition(t5);
nuevo.initialState = s1;
nuevo.finalState = s4;
auto = nuevo;
automatonCons.Push(nuevo);
}
else if (n.data == "*")
{
Automoton aux1 = automatonCons.Pop();
Automoton nuevo = new Automoton();
State i = new State();
State f = new State();
Transition t1 = new Transition();
Transition t2 = new Transition();
Transition t3 = new Transition();
Transition t4 = new Transition();
t1.character = "ɛ";
t2.character = "ɛ";
t3.character = "ɛ";
t4.character = "ɛ";
t1.state = aux1.initialState;
t4.state = f;
i.AddTransition(t4);
i.AddTransition(t1);
t2.state = aux1.initialState;
aux1.finalState.AddTransition(t2);
t3.state = f;
aux1.finalState.AddTransition(t3);
nuevo.initialState = i;
nuevo.finalState = f;
auto = nuevo;
automatonCons.Push(nuevo);
}
else if (n.data == "+")
{
Automoton aux1 = automatonCons.Pop(); //Para concatenar.
Automoton aux2 = (Automoton)aux1.Clone(); //Para cerradura de Kleene.
Automoton nuevo = new Automoton(); //El que será el nuevo
State f = new State();
Transition t1 = new Transition();
Transition t2 = new Transition();
Transition t3 = new Transition();
Transition t4 = new Transition();
t1.character = "ɛ";
t2.character = "ɛ";
t3.character = "ɛ";
t4.character = "ɛ";
t1.state = aux2.initialState;
t2.state = f;
aux1.finalState.AddTransition(t1);
aux1.finalState.AddTransition(t2);
t3.state = aux2.initialState;
t4.state = f;
aux2.finalState.AddTransition(t3);
aux2.finalState.AddTransition(t4);
nuevo.initialState = aux1.initialState;
nuevo.finalState = f;
automatonCons.Push(nuevo);
auto = nuevo;
}
else if (n.data == ".")
{
Automoton aux1 = automatonCons.Pop();
Automoton aux2 = automatonCons.Pop(); //Saco 2 automatas de la pila
Automoton nuevo = new Automoton(); //Genero uno nuevo
aux1.finalState.transitions = aux2.initialState.transitions; //Se fusionan el final de uno y el inicial del otro.
nuevo.initialState = aux1.initialState;
nuevo.finalState = aux2.finalState;
automatonCons.Push(nuevo);
auto = nuevo;
}
else if (n.data == "|")
{
Automoton aux1 = automatonCons.Pop();
Automoton aux2 = automatonCons.Pop();
Automoton nuevo = new Automoton();
State initial = new State();
State final = new State();
Transition t1 = new Transition();
t1.character = "ɛ";
t1.state = aux1.initialState;
initial.AddTransition(t1);
Transition t2 = new Transition();
t2.character = "ɛ";
t2.state = aux2.initialState;
initial.AddTransition(t2);
Transition t3 = new Transition();
t3.character = "ɛ";
t3.state = final;
aux1.finalState.AddTransition(t3);
Transition t4 = new Transition();
t4.character = "ɛ";
t4.state = final;
aux2.finalState.AddTransition(t4);
nuevo.initialState = initial;
nuevo.finalState = final;
automatonCons.Push(nuevo);
auto = nuevo;
}
else
{
Console.WriteLine("Error en el token " + n.data);
}
}
}
auto.alphabet = this.alphabet;
auto.setStatesId(auto.initialState);
this.AFN = auto;
this.AFN.id = this.id;
this.AFD = new AFD(this.AFN);
this.AFD.sets = this.sets;
this.AFD.cadenas = this.cadenas;
this.AFD.getTable();
//Console.WriteLine(this.AFD.toString());
this.AFD.graphViz();
}
public AFD(Automoton NFA)
{
this.DEstados = new List <HashSet <State> >();
this.posicionesAceptadas = new List <int>();
convertirAFN(NFA);
}