Addition unaire
1 rubans
6 états
Cette machine deterministe prend en entrée un mot du langage a*ba*
, interprèté comme une paire d’entiers en unaire séparés par un b
, et calcule la representation unaire de la somme de ces nombres. Elle se repositionne sur la première case du ruban.
Simulateur
Spécification de la machine
Messages de sortie du compilateur
https://machines.brunet-zamansky.fr