Изменения

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

74 байта убрано, 12:36, 15 января 2013

м

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

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

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

*[[Императивные языки программирования]]

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

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

304

правки