Запитання з тегом «context-free-languages»

У багатьох працях, що стосуються безконтекстних граматик (CFG), приклади таких граматик, представлені там, часто допускають просту характеристику мови, яку вони генерують. Наприклад: S →S→aaSbS→aaSbS \to a a S b S→S→S \to породжує ,{a2ibi|i≥0}{a2ibi|i≥0}\{ a^{2i} b^i | i \geq 0\} S → a a S b S →S→aSbS→aSbS \to a S …

25 fl.formal-languages  context-free  context-free-languages 

Мені цікаво, чи існують документи чи дослідження, що займаються видимими автоматичними витисканнями, але дозволяють слова, а не однієї літери, висуватися на стек. Крім того, конструкція, яка дозволила натискати символи на -переходи, могла досягти тієї ж мети.ϵϵ\epsilon Очевидно, що такі зміни можуть бути сформовані, але мені цікаво, чи це руйнує властивості …

16 reference-request  fl.formal-languages  automata-theory  context-free  context-free-languages 

EDIT (За Тарою Б): Я все ще зацікавився б посиланням на доказ цього, оскільки мені довелося це доводити для себе. Я шукаю доказ теореми 4, який з’являється в цій статті: Нескінченна ієрархія перетину мов, що не містять контексту , Лю та Вайнера. Теорема 4: - мірне Афінний різноманіття виявляється у …

11 reference-request  fl.formal-languages  linear-algebra  context-free-languages  lattice 

Нехай - контекстна мова. Визначити , щоб бути пре- і Постфіксний замиканням , іншими словами, містить всі «з префіксами і postfixes, і , отже сам по собі. Моє запитання: якщо без контексту і має неоднозначну граматику, чи це однаково для ?p p c ( L ) L p p c …

10 fl.formal-languages  automata-theory  grammars  context-free-languages