L = { anbncn | n 0}

a a b b c c

acc rej
 L = { anbncn | n 0}

a a b c c

acc rej
 L = { anbncn | n 0}

a a b b c c

→ ,R

→  , L
→  , R →  , R a → a ,L
a → a ,R b → b ,R b → b ,cL → c , R
→  , R
acc q0
a → ,R q b →  ,R q c →  ,L q rej
a b back

c / → c a/ / → a / ,R
→ ,R ,R
b /c →
b / c ,R
 ‫התיאור המילולי (פסאודו קוד)‬
‫א‪ .‬כל עוד התו הוא ‪ ‬הזז את הראש ימינה‪.‬‬
‫קבל‪.‬‬ ‫‪ .1‬אם התו הנקרא הוא‬
‫‪ .2‬אם התו הנקרא הוא ‪ b‬או ‪ c‬דחה‪.‬‬
‫והזז את הראש ימינה‪.‬‬ ‫‪ .3‬אם התו הנקרא הוא ‪ a‬כתוב במקומו‬

‫ב‪ .‬כל עוד התו הנקרא הוא ‪ a‬או ‪ ‬הזז את הראש ימינה‪.‬‬
‫דחה‪.‬‬ ‫‪ .1‬אם התו הנקרא הוא ‪ c‬או‬
‫‪ .2‬אם התו הנקרא הוא ‪ b‬כתוב במקומו ‪ ‬והזז את הראש ימינה‪.‬‬

‫ג‪ .‬כל עוד התו הנקרא הוא ‪ b‬או ‪ ‬הזז את הראש ימינה‪.‬‬
‫דחה‪.‬‬ ‫‪ .1‬אם התו הנקרא הוא ‪ a‬או‬
‫‪ .2‬אם התו הנקרא הוא ‪ c‬כתוב במקומו ‪‬‬
‫והזז את הראש ימינה‪.‬‬

‫ד‪ .‬הזז את הראש שמאלה עד לתו הראשון‬

‫שמימין לרצף הרווחים שבתחילת הסרט‪.‬‬
‫ה‪ .‬חזור ל‪ -‬שלב א'‪.‬‬