Йерархия на Чомски: Разлика между версии
Изтрито е съдържание Добавено е съдържание
→Типове в йерархията: без "езици" в 1ви пара; третирани са по-долу |
→Йерархия на формалните езици: допълнение |
||
Ред 130:
:<math>\mathcal{L}_3 \subset \mathcal{L}_2 \subset \mathcal{L}_1 \subset \mathcal{L}_0</math>.
Т.е. всички регулярни езици са безконтекстни, всички безконтекстни езици са контекстни и всички контекстни езици са рекурсивно изброими, като нито един от типовете не е равен на друг.
==Абстрактни машини==
| |||