Изменения
Нет описания правки
== Возможность супертьюринговых машин ==
* Процесс может быть использован в математических целях, если и только если его поведение на входе/выходе:
** либо детерминистично, либо приблизительно детерминистично и вызываемая им ошибка может быть сведена к произвольно малой величине;
** определяется за конечное число шагов.
* Процесс Р может быть использован в его физических качествах, если и только если его поведение на входе/выходе в соответствии с научными данными может быть использовано для моделирования других специфических процессов.
== Проекты супертьюринговых машин ==
Существует несколько десятков проектов супертьюринговых машин.