Изменения

Теория формальных языков

60 байт добавлено, 02:04, 20 января 2013

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

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

*[[Примитивно рекурсивные функции]]

*[[Частично рекурсивные функции]]

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

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

Анонимный участник