Оглавление
Вложенное слово
-
Определение и свойства языков с явно выраженным вытеснением
- Явно вытесняющие языки – это те, которые могут быть описаны с помощью грамматик с явно выраженным вытеснением.
- Они включают в себя контекстно-свободные языки, но не все контекстно-свободные языки являются явно вытесняющими.
- Явно вытесняющие языки обладают свойством замыкания, что означает, что они могут быть получены из других языков с помощью операций объединения, пересечения, дополнения, звезды Клини, сцепления и отката.
-
Примеры и конструкции
- Примеры языков с явно выраженным вытеснением включают в себя языки с круглыми скобками и языки с явно выраженным отставанием.
- Для операции пересечения можно построить автомат, имитирующий два заданных автомата, используя конструкцию изделия.
- Для дополнения автомата с явно выраженным вытеснением используется стандартная конструкция для детерминированных автоматов с нажимом.
-
Отношение к другим языковым классам
- Явно вытесняющие языки являются более общими, чем языки с круглыми скобками.
- Они строго относятся к классу языков, описываемых грамматиками с приоритетом операторов.
- Линейные конъюнктивные языки образуют суперкласс явно вытесняющих языков.
-
Явно упрощенные грамматики
- Явно упрощенные грамматики – это грамматики, которые могут описывать языки с явно выраженным вытеснением.
- Они определяются 4-мя кортежами, включающими в себя конечные множества переменных, терминалы, правила перехода и начальное состояние.
-
Иерархия Хомского
- Явно вытесняющие языки находятся в иерархии Хомского ниже контекстно-свободных языков.
- Пересказана только часть статьи. Для продолжения перейдите к чтению оригинала.
Полный текст статьи: