1 misol. Quyidagilar yechuvchi algoritmlarga misol bo‘la oladi

Berilgan boshlang'ich axborot bog'liq bo'lgan ikki hoi bo'lishi mumkin.

1. Mashina chekli son taktdan keyin to'xtaydi ( qa to'xtash holatiga o'tadi) va lentada В axborot tasvirlangan bo'ladi. Bu holda mashina A boshlang'ich axborot nisbatan tatbiq etiladigan (qo'llanib bo'ladigan) va uni qayta ishlab В natijaviy i axborotga keltirgan deb aytiladi.

2. Mashina hech qachon to‘xtamaydi, ya’ni q0 to‘xtash holatiga o‘tmaydi. Bu holda mashina A boshlang‘ich i axborotga nisbatan tatbiq etilmaydi deb aytiladi. Mashina ishining har bir taktida quyidagi funksional sxema bo‘yicha harakat qiladi: O’ aflj -> av Ch qs ,J

bu yerda a, , av - tashqi alfavitning harflari; q f , qs - mashinaning holatlari; 0 ',C h ,J - surilish simvollari. Boshqaruvchi kallak lentada qanday harfni ко‘rib turganligi (bizning yozuvda at) va mashina qaysi holatda (bizning yozuvda qj) turganligiga qarab, bu taktda uch elementdan iborat komanda ishlab chiqiladi: 1) ko‘rib turilgan harf almashtirilgan tashqi alfavit harfi (av ) ;