automaton auto{

     states q0,q1,q2;
     alphabet 0,1,2;
     initial q0;
     final q1,q2;

     transition{

          q0,0=(q0,q1,q2);
          q0,1=(q1,q2);
          q0,2=q2;

          q1,1=(q1,q2);
          q1,2=q2;

          q2,2=q2;

     }
}

/*
ENG: We print the automaton and obtain the
     equivalent regular grammar.
ESP: Imprimimos el automata y obtenemos la
     gramatica regular equivalente.
*/
print(auto);
gr=FAtoRG(auto);