Вложенное слово

• Определение и свойства языков с явно выраженным вытеснением

  • Явно вытесняющие языки — это те, которые могут быть описаны с помощью грамматик с явно выраженным вытеснением. 
  • Они включают в себя контекстно-свободные языки, но не все контекстно-свободные языки являются явно вытесняющими. 
  • Явно вытесняющие языки обладают свойством замыкания, что означает, что они могут быть получены из других языков с помощью операций объединения, пересечения, дополнения, звезды Клини, сцепления и отката. 

• Примеры и конструкции

  • Примеры языков с явно выраженным вытеснением включают в себя языки с круглыми скобками и языки с явно выраженным отставанием. 
  • Для операции пересечения можно построить автомат, имитирующий два заданных автомата, используя конструкцию изделия. 
  • Для дополнения автомата с явно выраженным вытеснением используется стандартная конструкция для детерминированных автоматов с нажимом. 

• Отношение к другим языковым классам

  • Явно вытесняющие языки являются более общими, чем языки с круглыми скобками. 
  • Они строго относятся к классу языков, описываемых грамматиками с приоритетом операторов. 
  • Линейные конъюнктивные языки образуют суперкласс явно вытесняющих языков. 

• Явно упрощенные грамматики

  • Явно упрощенные грамматики — это грамматики, которые могут описывать языки с явно выраженным вытеснением. 
  • Они определяются 4-мя кортежами, включающими в себя конечные множества переменных, терминалы, правила перехода и начальное состояние. 

• Иерархия Хомского

  • Явно вытесняющие языки находятся в иерархии Хомского ниже контекстно-свободных языков. 
  • Пересказана только часть статьи. Для продолжения перейдите к чтению оригинала.