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