@estados
   &q0 &q1 &q2 &q3 &q4
@alfabeto
   a b X Y
@entrada
   a b
@inicio
   &q0
@fim
   &q4
@transicoes
   &q0 a       &q1 X  R
   &q0 Y       &q3 Y  R
   &q0 branco  &q4 X  R
   &q0 branco  &q4 X  L
   &q1 a       &q1 a  R
   &q1 b       &q2 Y  L
   &q1 Y       &q1 Y  R
   &q2 a       &q2 a  L
   &q2 X       &q0 X  R
   &q2 Y       &q2 Y  L
   &q3 Y       &q3 Y  R
   &q3 branco  &q4 X  R
   &q3 branco  &q4 X  L
@fita
   branco
   a b
   a a b b
   a a a b b b
   a b a b a b
   a a b b b
   a a a b b