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 DFA.
ESP: Y despues lo pasamos de AFND con lambda Transiciones a AFD.
*/
pruebaAFD=FAtoDFA(prueba);
print(pruebaAFD);