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

Материал из Викиконспекты
Перейти к: навигация, поиск
(это в диагональном методе)
Строка 54: Строка 54:
 
*[[Вычислимые функции]]
 
*[[Вычислимые функции]]
 
*[[Диагональный метод]]  
 
*[[Диагональный метод]]  
*[[Невозможность одновременного существования универсальной функции и всюду определенности всех элементов семейства вычислимых функций]]
 
 
*[[Характеристика перечислимых множеств через вычислимые функции]]
 
*[[Характеристика перечислимых множеств через вычислимые функции]]
 
*[[Свойства перечислимых языков. Теорема Успенского-Райса]]
 
*[[Свойства перечислимых языков. Теорема Успенского-Райса]]

Версия 17:58, 24 января 2012

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

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

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