748
правок
Изменения
→Вычислительные формализмы
<ol>
<li value="14">[[Машина Тьюринга]] </li>
<li> [[Лямбда-исчисление]]0.5</li># Поправить тех<li>[[Примитивно рекурсивные функции]] 0.5 </li># Поправить тех
<li> [[Частично рекурсивные функции]] </li>
<li> [[Стековые машины, эквивалентность двухстековой машины МТ]] 0.5 </li># Добавить см также<li> [[Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ]] 0.5 </li># Добавить см также# поправить тех<li> [[Линейный клеточный автомат, эквивалентность МТ]] 0.5 </li># добавить см также<li> [[Возможность порождения формальной грамматикой произвольного перечислимого языка]] 0.5 </li># поправить тех
<li> [[Линейный ограниченный автомат]]</li>
<li> [[Сверхтьюринговые вычисления (гипервычисления)]]0.5</li># увеличить дроби
<li> [[Тьюринг-полнота]] (4)</li>
# Провести аналогию с теоремой Геделя о неполноте
