Конфигурация машины Тьюринга

Я новичок в машинах Тьюринга, и у меня возник вопрос. Мне дана машина Тьюринга: M = (Q, Σ, Γ, δ, q) такая, что Q = {q, r, s, t}, Σ = {abc}, Γ = {B, a, b, c} и δ определяется следующим образом: [q, a, r, b, R], [q, b, r, a, R], q, c, t, c, R], [t, a, t, a, R], [t, b, t, b, R], [t, B, s, B, R]

И меня спрашивают, останавливается ли M на вводе abba, и если да, напишите конфигурацию, в которой M останавливается. Предположительно, ответ - brbba, но я не понимаю, как это может быть конфигурация. Как государственный символ становится частью конфигурации? Любая помощь будет оценена по достоинству!


person Community    schedule 08.05.2017    source источник


Ответы (1)


Конфигурация состоит из:

  • текущее состояние
  • положение головки чтения / записи
  • содержание ленты

brbba обозначает все три, поскольку r показывает текущее состояние и положение головы. Менее компактный способ записать его в две строки:

 r
bbba

или b [rb] ba, если хотите.

person Peter Leupold    schedule 08.05.2017