Изменения

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

43 байта добавлено, 15:50, 18 января 2013

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

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

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

*[[Рекурсивные функции]]

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

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

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