Sabés que lo revisé y no le encontré el error que mencionás. Lo que sí ví es que está con una notación poco clara.
Los estados están notados como "qm_n", donde
- m vale 1 o 2, dependiendo de qué cinta se computa
- n es el id del estado (el que usaríamos en un AF, como por ejemplo q3 )
Cualquier cosa, a las órdenes.
¡Saludos!
¡Saludos!