102
правки
Изменения
Нет описания правки
|statement=
Проблема останова игры «Жизнь» неразрешима.
|proof = [[Файл:TM.png|300px|thumb|right| МТ в игре «Жизнь»]][[Файл:TM_diagram.png|300px|thumb|right| Схема МТ в игре «Жизнь»]]Заметим, что если существует МТ, которая по начальной конфигурации игры «Жизнь» может определить, завершается ли она, то та же МТ может определить останавливается ли любая МТ, что противоречит неразрешимости проблемы останова для МТ.
<br>
Покажем схему построения МТ в игре Жизнь(см.рисунок):* конечный автомат,* детектор сигнала,* стек,* контроллер стека.
}}
== См.также ==
