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

Updated: