Изменения

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

*[[Машина Тьюринга]]

*[[Лямбда-исчисление]]

*[[Стековые машины, эквивалентность двухстековой машины МТ]]

*[[Линейный клеточный автомат, эквивалентность МТ]]

*[[Возможность порождения формальной грамматикой произвольного перечислимого языка]]

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

*[[m-сводимость]]