*[[Детерминированные автоматы с магазинной памятью, допуск по пустому стеку]]
*[[Нормальная форма ДМП-автомата]]
== Теория вычислимости ==
*[[Диагональный метод. Невозможность одновременного существования универсальной функции и всюду определенности всех элементов семейства вычислимых функций]]
