Complementare una sequenza binaria

Esempio:

1. "0011" --> "1100"

Diagramma di stato:

Situazione iniziale: il nastro contiene una sequenza di bit e la testina è sul primo bit a sinistra.
Situazione finale: la sequenza è complementata e la testina è sull'ultimo bit a destra.

Commento: Parte dal primo bit a sinistra. Ogni volta che legge un bit lo complementa e si sposta verso destra. Quando incontra il blank si ferma (con un passo a sinistra...).

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

Tabella delle transizioni di stato:

Quintuple: