Séquences exponentielles

1 rubans

6 états

Cette machine deterministe prend en entrée un mot sur l’alphabet {a} et teste si la longueur de ce mot est une puissance de 2.

Simulateur

Spécification de la machine

nom : Séquences exponentielles initial : i final : ok demi ruban : 1 i,_ 0,_,> 0,a 1,A,> 1,A 1,A,> 1,a 2,a,< 1,_ ok,_,< 2,A 3,X,> 2,_ 1,_,> 3,A 3,A,> 3,a 4,A,< 4,A 4,A,< 4,X 2,A,<

Messages de sortie du compilateur

https://machines.brunet-zamansky.fr