Хмм... Хорошо, я, кажется, понял в чём проблема.
Вопрос в том, любая ли машина может быть описана как машина Тюринга, или есть возможность реализовать не-Тюринговскую систему, так?
Причём если бы способ реализации подобной задачи был извесен - мы бы давно им воспользовались. Но незнание его нами отнюдь не говорит об отсутствии его в природе.
__________________
Кошак, борец за официальный запрет всех официальных запретов.
Ах, лето красное, убил бы я тебя, когда б не связь времён да Уголовный Кодекс. (с)О. Ладыженский
Адрес поста | Один пост | Сообщить модератору | IP: Logged