automaton prueba{

     states q0,q1,q2;
     alphabet a,b,c;
     initial q0;
     final q2;

     transition{

          q0,a=q1;
          q1,b=q1;
          q1,c=q2;
     }
}

/*
ENG: First we print the automaton.
ESP: Primero imprimimos el automata.
*/
print(prueba);

/*
ENG: Now we get the equivalent regular expression.
ESP: Ahora obtenemos la expresion regular equivalente.
*/
exp=FAtoRE(prueba);