Изменения
Нет описания правки
Какая мощность может быть у правой части оператора <tex>\leftarrow ?</tex>?
[[Участник:Shevchen|Дмитрий Шевченко]] 17:52, 4 июня 2012 (GST)
: Какая угодно, но конечная. Она ограничена размером машины Тьюринга. Это же как бы недетерминированный переход. Сколько в машине переходов есть, такая и мощность. С поправкой на то, правда, что тут программа, а не машина, и один такой оператор может скрывать в себе несколько переходов аналогичной машины.
