Алгоритмдер жєне деректер структурасы

С – есептегіш бастың сол жағында орналасқан тізбек.

В – Тьюринг машинасының басының оң жағында орналасқан тізбек.

Бастапқы қалып жағдайындағы конфигурацияны - бастапқы, соңғы қалып жағдайындағы конфигурацияны - соңғы деп аталады. Егер С тізбегіндегі конфигурация бос болса, онда бастапқы және соңғы конфигурация стандартты деп аталады.

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