Изменения

Теория формальных языков

54 байта добавлено, 20:04, 10 января 2017

м

→‎Вычислительные формализмы

*[[Линейный ограниченный автомат]]

*[[Сверхтьюринговые вычисления (гипервычисления)]]<tex> ^\star </tex>

*[[Тьюринг-полнота]]<tex> ^\star </tex>

=== Примеры неразрешимых задач ===

192

правки