Обсуждение:Недетерминированные вычисления
Версия от 17:48, 4 июня 2012; 178.178.4.118 (обсуждение)
Какая мощность может быть у правой части оператора ? Дмитрий Шевченко 17:52, 4 июня 2012 (GST)
- Какая угодно, но конечная. Она ограничена размером машины Тьюринга. Это же как бы недетерминированный переход. Сколько в машине переходов есть, такая и мощность. С поправкой на то, правда, что тут программа, а не машина, и один такой оператор может скрывать в себе несколько переходов аналогичной машины.
