Теория формальных языков — различия между версиями

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

Версия 12:36, 15 января 2013

Автоматы и регулярные языки

Контекстно-свободные грамматики

Теория вычислимости

Разрешимые и перечислимые языки

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

Примеры неразрешимых задач