Consideriamo una macchina che modifica una sequenza di A rimpiazzando ogni A in posizione dispari con una B.
La prima A ha posizione pari uguale a 0.
Esempi
| Nastro iniziale | Nastro finale | |
|---|---|---|
| 1° | A | A |
| 2° | AA | AB |
| 3° | AAA | ABA |
| 4° | AAAA | ABAB |
Diagramma di stato
- Lo stato 0 è pari, A rimane
- Lo stato 1 è dispari, A diventa B
Quintuple
(0, A, 1, A, >)
(1, A, 0, B, >)
- A in posizione dispari
- A in posizione pari, diventa B
🙁