Incrément binaire

1 rubans

4 états

Cette machine deterministe prend en entrée un mot sur l’alphabet {0,1}, interprété comme un entier représenté en binaire avec le bit de poids fort à droite, et l’incrémente d’une unité. Elle se repositionne ensuite sur la première case du ruban.