Изменения

Перейти к: навигация, поиск

Производящие функции:Тикеты

89 байт добавлено, 9 март
Вычислительные формализмы
<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>
# Провести аналогию с теоремой Геделя о неполноте
</ol>

Навигация