Zéro binaire

1 rubans

5 états

Cette machine deterministe prend en entrée un mot sur l’alphabet {0,1} et le remplace par 0, en se repositionnant sur la première case du ruban.

Simulateur

Spécification de la machine

nom : Zéro binaire initial : Zi final : Z3 demi ruban: 1 sortie : 1 Zi,_ Z0,_,> Z0,[01] Z0,$1,> Z0,_ Z1,_,< Z1,[01] Z1,_,< Z1,_ Z2,_,> Z2,_ Z3,0,<

Messages de sortie du compilateur

https://machines.brunet-zamansky.fr