313
правок
Изменения
→Вычислительные формализмы
*[[Машина Тьюринга]]
*[[Лямбда-исчисление]]<tex> ^\star </tex>
*[[Рекурсивные функции, представимость в формальной арифметике | Примитивно рекурсивные функции]]<tex> ^\star </tex>
*[[Частично рекурсивные функции]]<tex> ^\star </tex>
*[[Стековые машины, эквивалентность двухстековой машины МТ]]
