Successore binario

Esempi:

1. "101" --> "110"
2. "11" --> "100"

Diagramma di stato:

Commento: Parte dal primo bit a destra. Se legge blank oppure 0 scrive 1 e si ferma. Se legge 1 scrive 0 (e riporta 1...) e si sposta a sinistra per aggiungere 1 al prossimo bit con lo stesso metodo.

Situazione iniziale: il nastro contiene una sequenza di bit e la testina è sul bit più a destra (il meno significativo).
Situazione finale: la testina è sulla sequenza di bit che rappresenta il valore successivo.

Stati: {0, H}
Caratteri: {blank, 0, 1}

Tabella delle transizioni di stato:

Quintuple: