La stringa x=aabcaa e' accettata dalla macchina di Turing perche' esiste la seguente computazione

q₀aabcaa   |---  aq₁abcaa  |---  aaq₀bcaa   |---  aabq₀caa  |---  aabcq₀aa  |---  aabcaq₁a  |--- aabcaaq₀  |---   aabcaaq_F

che, a partire dalla configurazione q₀x, termina in una configurazione di accettazione xq_F.