Изменения
→Вычислительные формализмы
*[[Машина Тьюринга]]
*[[Лямбда-исчисление]]
*[[Рекурсивные Примитивно рекурсивные функции]]
*[[Стековые машины, эквивалентность двухстековой машины МТ]]
*[[Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ]]
