Задача #3501

Машина Тьюринга

Уровень ЕГЭ

(С. Анисимов) Исполнитель МТ представляет собой читающую и записывающую головку, которая может передвигаться вдоль бесконечной горизонтальной ленты, разделённой на равные ячейки. В каждой ячейке находится ровно один символ из алфавита исполнителя (множество символов A={a0,a1,,an1}), включая специальный пустой символ a0.
Время работы исполнителя делится на дискретные такты (шаги). На каждом такте головка МТ находится в одном из множества допустимых состояний Q={q0,q1,,qn1}. В начальный момент времени головка находится в начальном состоянии q0.
На каждом такте головка обозревает одну ячейку ленты, называемую текущей ячейкой. За один такт головка исполнителя может переместиться в ячейку справа или слева от текущей, не меняя находящийся в ней символ, или заменить символ в текущей ячейке без сдвига в соседнюю ячейку. После каждого такта головка переходит в новое состояние или остаётся в прежнем состоянии.
Программа работы исполнителя МТ задаётся в табличном виде.

a0 a1 ...
q0 команда команда ...
q1 команда команда ...
... ... ... ...

В первой строке перечислены все возможные символы в текущей ячейке ленты, в первом столбце – возможные состояния головки. На пересечении i-й строки и j-го столбца находится команда, которую выполняет МТ, когда головка обозревает j-й символ, находясь в i-м состоянии. Если пара «символ – состояние» невозможна, то клетка для команды остаётся пустой.
Каждая команда состоит из трёх элементов, разделённых запятыми: первый элемент – записываемый в текущую ячейку символ алфавита (может совпадать с тем, который там уже записан). Второй элемент – один из четырёх символов «L», «R», «N», «S». Символы «L» и «R» означают сдвиг в левую или правую ячейки соответственно, «N» – отсутствие сдвига, «S» – завершение работы исполнителя МТ после выполнения текущей команды. Сдвиг происходит после записи символа в текущую ячейку. Третий элемент – новое состояние головки после выполнения команды.
Например, команда 0, L, q3 выполняется следующим образом: в текущую ячейку записывается символ «0», затем головка сдвигается в соседнюю слева ячейку и переходит в состояние q3.

Выполните задание

На ленте исполнителя МТ в соседних ячейках записана последовательность из 1000 символов, включающая только нули, единицы и двойки. Ячейки справа и слева от последовательности заполнены пустыми символами «λ». В начальный момент времени головка расположена в ближайшей ячейке слева от последовательности. Программа для исполнителя:

Символом X в программе обозначена цифра из алфавита МТ. Известно, что количество символов 0 и 1 в исходной строке было одинаково, а сумма значений в исходной строке больше суммы значений в конечной строке на 363. В качестве ответа укажите количество цифр «X» в конечной строке.

Ответ
Войдите, чтобы история ответов и статистика сохранялись.
Решение Нажми, чтобы открыть

Ответ

274
# пусть z = кол-ву нулей и единиц, а y = кол-ву двоек
for z in range(1000): # перебираем z и y
for y in range(1000):
str1 = '0'*z + '1' * z + '2'*y # формируем нашу строку
if len(str1) == 1000: # проверяем, что строка имеет именно 1000 символов
sum1 = str1.count('1') + str1.count('2')*2 # считаем сумму исходной строки
for x in range(3): #перебираем неизвестное число x
str2 = str1.replace('0','*').replace('1','+') # защита от наложения замен друг на друга
str2 = str2.replace('2','1').replace('*','2').replace('+',f'{x}') # состояние q1, пробуем все x
str2 = str2.replace('0','*').replace('1','+')
str2 = str2.replace('2','0').replace('*','1').replace('+','2') # состояние q2
sum2 = str2.count('1') + str2.count('2')*2 # считаем сумму конечной строки
if sum1 == sum2+363:
print(str2.count(f'{x}'))
Быстрый переход
Перейти к задаче