a^nb^n

1 rubans

6 états

Cette machine deterministe prend en entrée un mot sur l’alphabet {a,b} précédé d’un espace et teste si ce mot est de la forme a^nb^m.

Simulateur

Spécification de la machine

nom : a^n b^n initial : i final : ok demi ruban : 1 i,_ 0,_,> 0,a 1,_,> 1,a 1,a,> 1,b 2,b,> 2,b 2,b,> 2,_ 3,_,< 3,b 4,_,< 4,[ab] 4,$1,< 4,_ 0,_,> 0,_ ok,_,<

Messages de sortie du compilateur

https://machines.brunet-zamansky.fr