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

Материал из DISCOPAL
Перейти к: навигация, поиск

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

[ Хронологический вид ]Комментарии

(нет элементов)

Войдите, чтобы комментировать.

Источник — «https://discopal.ispras.ru/index.php?title=МТ_не_меняет_вход&oldid=6114»