( tvk) Исполнитель МТ представляет собой читающую и записывающую головку, которая может передвигаться вдоль бесконечной горизонтальной ленты, разделённой на равные ячейки. В каждой ячейке находится ровно один символ из алфавита исполнителя (множество символов A={a0,a1,…,an–1}A={a0,a1,…,an–1}), включая специальный пустой символ a0a0. Время работы исполнителя делится на дискретные такты (шаги). На каждом такте головка МТ находится в одном из множества допустимых состояний Q={q0,q1,…,qn–1}Q={q0,q1,…,qn–1}. В начальный момент времени головка находится в начальном состоянии q0q0. На каждом такте головка обозревает одну ячейку ленты, называемую текущей ячейкой. За один такт головка исполнителя может переместиться в ячейку справа или слева от текущей, не меняя находящийся в ней символ, или заменить символ в текущей ячейке без сдвига в соседнюю ячейку. После каждого такта головка переходит в новое состояние или остаётся в прежнем состоянии. Программа работы исполнителя МТ задаётся в табличном виде.
a 0
a 1
...
q 0
команда
команда
...
q 1
команда
команда
...
...
...
...
...
В первой строке перечислены все возможные символы в текущей ячейке ленты, в первом столбце – возможные состояния головки. На пересечении i-й строки и j-го столбца находится команда, которую выполняет МТ, когда головка обозревает j-й символ, находясь в i-м состоянии. Если пара «символ – состояние» невозможна, то клетка для команды остаётся пустой. Каждая команда состоит из трёх элементов, разделённых запятыми: первый элемент – записываемый в текущую ячейку символ алфавита (может совпадать с тем, который там уже записан). Второй элемент – один из четырёх символов «L», «R», «N», «S». Символы «L» и «R» означают сдвиг в левую или правую ячейки соответственно, «N» – отсутствие сдвига, «S» – завершение работы исполнителя МТ после выполнения текущей команды. Сдвиг происходит после записи символа в текущую ячейку. Третий элемент – новое состояние головки после выполнения команды. Например, команда 0, L, q 3 выполняется следующим образом: в текущую ячейку записывается символ «0», затем головка сдвигается в соседнюю слева ячейку и переходит в состояние q 3.
Выполните задание.
На ленте для сжигания тыкв расположены 1000 подряд идущих тыкв🎃 . Ячейки справа и слева от последовательности заполнены пустыми символами «λ». В начальный момент времени головка расположена в ближайшей слева к последовательности ячейке. Программа работы исполнителя:
λ
🎃
🔥
q 0
λ, R, q 1
🔥, R, q 1
q 1
λ, S, q 1
🔥, R, q 2
q 2
🎃, R, q 3
q 3
🎃, R, q 4
q 4
🔥, N, q 0
Определите сколько тыкв будет предано огню.
| |
λ |
🎃 |
🔥 |
| q0 |
λ, R, q1 |
|
🔥, R, q1 |
| q1 |
λ, S, q1 |
🔥, R, q2 |
|
| q2 |
|
🎃, R, q3 |
|
| q3 |
|
🎃, R, q4 |
|
| q4 |
|
🔥, N, q0 |
|