(Е. Джобс) На ленте исполнителя МТ в соседних ячейках записана последовательность из \(1000\) символов, включающая только нули, единицы и двойки. Ячейки справа и слева от последовательности заполнены пустыми символами «\(\lambda\)». В начальный момент времени головка расположена в ближайшей ячейке слева от последовательности.
Программа работы исполнителя:
| \(\lambda\) | \(0\) | \(1\) | |
| \(q_0\) | \(\lambda , \, R, \, q_1\) | ||
| \(q_1\) | \(\lambda , \, S, \, q_1\) | \(1, \, R, \, q_2\) | \(0, \, R, \, q_2\) |
| \(q_2\) | \(\lambda , \, S, \, q_2\) | \(0, \, S, \, q_2\) | \(1, \, R, \, q_1\) |
Команды движения каретки: \(L\) – влево, \(R\) – вправо, \(S\) – стоп. После выполнения программы на ленте осталось одинаковое количество нулей и единиц. Определите максимально возможное количество единиц, которое могло быть в исходной последовательности.
Решение:
Пусть строка после пустого символа состоит из \(1000\) единиц. Каждую единицу, стоящую на нечётной позиции, исполнитель заменит на \(0.\) В конечной строке будет тогда \(500\) нулей и \(500\) единиц. То что нам нужно.
Проверяем программно
Python
mt = {'l': {'q0': 'l,R,q1', 'q1': 'l,S,q1', 'q2': 'l,S,q2'},
'0': {'q1': '1,R,q2', 'q2': '0,S,q2'},
'1': {'q1': '0,R,q2', 'q2': '1,R,q1'}}
s = ['l'] + ['1'] * 1000 + ['l']
p = 0
step = {'L': -1, 'R': 1, 'S': 0}
print(f'Количество единиц в начальной строке: {s.count("1")}')
state = 'q0'
act = mt[s[p]][state].split(',')
s[p] = act[0]
state = act[2]
while act[1] != 'S':
p += step[act[1]]
act = mt[s[p]][state].split(',')
s[p] = act[0]
state = act[2]
print(f'Количество нулей в конечной строке: {s.count("0")}')
Ответ: \(1000\)
Эффективно готовьтесь к ЕГЭ по информатике с новым тренажёром, эмулирующем работу станции КЕГЭ, которая используется на реальном экзамене