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