ПӘнін оқыту-әдістемелік кешен
жүктеу/скачать 7,64 Mb.
|
|
Тьюринг машинасы конфигурациясы келесі әдістермен көрсетіледі:  б мұндағы
С – есептегіш бастың сол жағында орналасқан тізбек.  – Тьюринг машинасының қалпы.
 – Тьюринг машинасының басында орналасқан символ.
В – Тьюринг машинасының басының оң жағында орналасқан тізбек. Егер жаңа конфигурация енгізу конфигурациясының бір командасы қолдану нәтижесінде болса, онда  конфигурациясы  конфигурацияға қатысты көшеді. Бір конфигурациядан келесі конфигурацияға тікелей көшуді былайша көрсетеміз:  .
Бастапқы қалып жағдайындағы конфигурацияны - бастапқы, соңғы қалып жағдайындағы конфигурацияны - соңғы деп аталады. Егер С тізбегіндегі конфигурация бос болса, онда бастапқы және соңғы конфигурация стандартты деп аталады. Тьюринг машинасы х тізбегін у тізбегіне өңдейді, егер, лентада х тізбегі болып, бастапқы конфигурациямен әрекет етсе, Тьюринг машинасы лентада у тізбегі болып, соңғы конфигурацияға көшеді. Егер бастапқы және соңғы конфигурация стандартты болса, онда х-ті у-ке өңдеу процессі дұрыс өңдеу болып табылады.
жүктеу/скачать 7,64 Mb. Достарыңызбен бөлісу:
|