МТ не меняет вход

Материал из DISCOPAL
Версия от 16:23, 13 мая 2017; Темирлан (обсуждение | вклад) (Новая страница: «Существует ли МТ, проверяющая по описанию МТ М и входа x, что M не меняет состояние ленты в…»)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск

Существует ли МТ, проверяющая по описанию МТ М и входа x, что M не меняет состояние ленты в ходе своей работы?