Programmare una macchina di Turing che, dato un nastro iniziale contenente una sequenza arbitraria di simboli A e B, sostituisca ogni occorrenza di due simboli consecutivi AB con due simboli CD.
NASTRO INIZIALE
NASTRO FINALE
AABABBBAABAAABAABAA
ACDCDBBACDAACDACDAA
BBBBAAA
BBBBAAA
AABB
ACDB
Algoritmo
Salta eventuali B iniziali.
Una A potrebbe essere l’inizio della sequenza AB. Salta eventuali altre A.
Se arriva B scrive D, torna indietro e scrive C, ricomincia…