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