נתון הא"ב {a,b}. בנה אוטומט מחסנית בעבור השפה:
L = { a^2 b^k a^n | n > 0, k > 0, n < k }
בנה מכונת טיורינג המקבלת כקלט מספר x בייצוג אונרי, ומחשבת את ערכה של הפונקציה f(x). ערכה של הפונקציה ייכתב על הסרט במקום כלשהו, כערך אונרי בין שני סימני $.
f(x) = x+1 אם x < 2
f(x) = x-1 אם x >= 2
נתון הא"ב {a,b}. בנה אוטומט מחסנית בעבור השפה:
L = { a^2 b^k a^n | n > 0, k > 0, n < k }
בנה מכונת טיורינג המקבלת כקלט מספר x בייצוג אונרי, ומחשבת את ערכה של הפונקציה f(x). ערכה של הפונקציה ייכתב על הסרט במקום כלשהו, כערך אונרי בין שני סימני $.
f(x) = x+1 אם x < 2
f(x) = x-1 אם x >= 2