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