Regulární výraz -> a+b+c
Výchozí stav pásky -> #AAABCC#
----------------------------------------
Stav pásky: #A[Q1]AABCC# ----------- Aplikováno pravidlo: 1AR1
Stav pásky: #AA[Q1]ABCC# ----------- Aplikováno pravidlo: 1AR1
Stav pásky: #AAA[Q1]BCC# ----------- Aplikováno pravidlo: 1AR1
Stav pásky: #AAAB[Q2]CC# ----------- Aplikováno pravidlo: 1BR2
Stav pásky: #AAABC[Q3]C# ----------- Aplikováno pravidlo: 2CR3
Stav pásky: #AAABCC[Q3]# ----------- Aplikováno pravidlo: 3CR3
----------------------------------------
Výsledek regulární výrazu -> #AAABCC#
Hlava skončila nakonci pásky, poté je hodnota na pásce validní.