Incrément unaire

1 rubans

4 états

Cette machine deterministe prend en entrée un mot sur l’alphabet {a} et l’incrémente (i.e. ajoute un a à droite), en se repositionnant sur la première case du ruban.

Simulateur

Spécification de la machine

nom : Incrément unaire initial : Ii final : I2 demi ruban: 1 sortie : 1 Ii,_ I0,_,> I0,a I0,a,> I0,_ I1,a,< I1,a I1,a,< I1,_ I2,_,-

Messages de sortie du compilateur

https://machines.brunet-zamansky.fr