automaton prueba{ states q0,q1,q2,q3,q4,q5; alphabet a,b; initial q0; final q5; transition{ q0,$=q1; q0,$=q3; q1,a=q1; q1,b=q2; q2,$=q5; q3,a=q4; q4,b=q4; q4,$=q5; q5,$=q0; } } /* ENG: First we print the automaton. ESP: Primero imprimimos el automata. */ print(prueba); /* ENG: And then we convert from NDFA with lambda transitions to NDFA. ESP: Y despues lo pasamos de AFND con lambda Transiciones a AFND. */ pruebaAFND=FAtoNDFA(prueba); print(pruebaAFND);