Pagina 193
La sequenza iniziale, contenente i caratteri A, B e C, si riflette allo specchio, viene ribaltata.
Esempi
| Nastro iniziale | Nastro finale | |
|---|---|---|
| 1° | AA | AA |
| 2° | ABC | CBA |
| 3° | ABBACC | CCABBA |
Affronta il problema per passi successivi
- Considera sequenze contenenti solo il carattere A
- … aggiungi la gestione del carattere B
- … aggiungi la gestione del carattere C.
Diagramma di stato #1
Ogni lettera A viene cancellata con un asterisco e ricopiata a sinistra.
Lo stato R e poi lo stato 0 riportano la testina sulla prima lettera originale.
Quando finiscono le lettere originali rimangono solo gli asterischi da cancellare.
Quintuple #1
(0, A, SA, *, <) | Una lettera A |
(0, *, 0, *, >) | Ritorna a destra, salta gli asterischi |
(0, -, F, -, <) | Le lettere A sono finite |
(SA, A*, SA, A*, <) | Salta A e * per andare a scrivere A a sinistra |
(SA, -, R, A, >) | Scrive la A e ritorna a destra |
(R, A, R, A, >) | Salta A per tornare a destra |
(R, *, 0, *, >) | Trova un asterisco, torna allo stato iniziale |
(F, *, F, -, <) | Elimina tutti gli asterischi, per finire. |
Diagramma di stato #2
Ogni lettera A, B e C viene ricopiata a specchio (a sinistra) seguendo il percorso corrispondente SA, SB e SC.
Quando finiscono le lettere originali rimangono solo gli asterischi da cancellare.
Quintuple #2
(0, A, SA, *, <) | Una lettera A |
(0, B, SB, *, <) | Una lettera B |
(0, C, SC, *, <) | Una lettera C |
(0, *, 0, *, >) | Ritorna a destra, salta gli asterischi |
(0, -, F, -, <) | Le lettere ABC sono finite |
(SA, ABC*, SA, ABC*, <) | Salta A, B, C e * per andare a scrivere A a sinistra |
(SA, -, R, A, >) | Scrive la A e ritorna a destra |
(SB, ABC*, SB, ABC*, <) | Salta A, B, C e * per andare a scrivere B a sinistra |
(SB, -, R, B, >) | Scrive la B e ritorna a destra |
(SC, ABC*, SC, ABC*, <) | Salta A, B, C e * per andare a scrivere C a sinistra |
(SC, -, R, C, >) | Scrive la C e ritorna a destra |
(R, ABC, R, ABC, >) | Salta A, B e C per tornare a destra |
(R, *, 0, *, >) | Trova un asterisco, torna allo stato iniziale |
(F, *, F, -, <) | Elimina tutti gli asterischi, per finire. |