Изменения
→Вычислительные формализмы
*[[Возможность порождения формальной грамматикой произвольного перечислимого языка]]
*[[Линейный ограниченный автомат]]
*[[Сверхтьюринговые вычисления (гипервычисления)]]
=== Примеры неразрешимых задач ===