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