Запитання з тегом «grammars»

Чи мова { } без контексту чи ні?aibjck | i≠j,i≠k,j≠kaibjck | i≠j,i≠k,j≠ka^{i}b^{j}c^{k} ~|~ i \neq j, i \neq k, j \neq k Я зрозумів, що зіткнувся майже з усіма варіантами цього питання з різними умовами відношення між i, j та k, але не з цим. Я здогадуюсь, що це не …

30 automata-theory  fl.formal-languages  grammars 

Як побічний проект я пишу мову за допомогою Python. Я почав із використання клону флек / зубрів під назвою Ply, але я стикаюся з ребрами в силу того, що можу виразити за допомогою цього стилю граматики, і мені не цікаво зламати мову через невідповідність імпедансу інструмент. Тому я не проти …

28 fl.formal-languages  pl.programming-languages  grammars 

Насосна лемму для регулярних мов можна довести, розглядаючи кінцевий автомат, що розпізнає мову вивчав, вибираючи рядок з довжиною більше , ніж його число станів, і застосуванням принципу Діріхле. Але накачана лема для контекстних мов (як і лемма Огдена, яка є дещо більш загальною), проте доводиться, розглядаючи безконтекстну граматику вивченої мови, …

21 fl.formal-languages  automata-theory  proofs  grammars 

Добре відомо, що проблема загальної еквівалентності не може бути вирішена для загальних без контекстних мов. Однак усі підтвердження цього факту, про які я знаю, містять неоднозначні граматики без контексту. З цієї причини я хотів би запитати, чи відомо, чи залишається проблема невирішеною, обмежуючи себе однозначними без контексту мовами. Тобто, враховуючи …

19 fl.formal-languages  grammars  context-free  decidability  undecidability 

Це переформулювання програми граматики? попередній запитував Ваг і з багатьма пропозиціями від коментаторів. Яким чином граматика може розглядатися як зазначена модель обчислення? Якщо, наприклад, ми візьмемо просту без контексту граматику, таку як G ::= '1' -> '0' '+' '1' '1' -> '1' '+' '0' '2' -> '2' '+' '0' '2' …

18 fl.formal-languages  pl.programming-languages  grammars  universal-computation 

У розділі 4 Другого курсу з теорії автоматів Джефрі Шалліта вказана наступна проблема: Нехай p ( n )p(n)p(n) - поліном з раціональними коефіцієнтами, таким, що p ( n ) ∈ Np(n)∈Np(n) \in \mathbb{N} для всіх . Доведіть або спростуйте, що мова представлень base-k усіх цілих чисел у є безконтекстною тоді …

14 fl.formal-languages  nt.number-theory  grammars 

Розглянемо наступне природне запитання: З огляду на кінцеву мову , яка найменша грамотна граматика, що породжує L ?LLLLLL Ми можемо зробити питання більш цікавим, вказавши послідовність мов , наприклад, L n - це набір усіх перестановок { 1 , … , n } : інтуїтивно, CFG для L n "повинен" …

14 reference-request  fl.formal-languages  lower-bounds  grammars  context-free 

Нехай дається число . Розглянемо наступну мову L n = {нnn .Lн= {ш ш|w ∈ { 0 , 1 }н}Ln={ww|w∈{0,1}n}L_n = \{ \; ww \; \vert \; w \in \{0,1\}^{n} \; \} Словом, - це набір копіювальних рядків довжиною 2 n .LнLnL_n2 н2n2n Розглянемо наступну функцію складності стану таку, що …

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

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

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

Мене цікавить комп'ютерна музика, де є підходи до трактування музичних творів як речень у генеративних граматиках або L-системах. Замість того, щоб писати, можна було б вказати граматику і дозволити комп’ютеру створювати музику. Наприклад, Єльська група навколо покійного Павла Гудака дуже сильна в цьому. Мене вразило, що ми використовуємо, здавалося б, …

9 grammars 

Яке співвідношення неоднозначних CFG до всіх CFG ? Оскільки обидва набори помітно нескінченні, співвідношення не є чітко визначеним. А як щодо асимптотичної щільності : limn↦∞# ambiguous CFG of size&lt;n# CFG of size&lt;nlimn↦∞# ambiguous CFG of size&lt;n# CFG of size&lt;n\lim_{n \mapsto \infty}\frac {\# \text{ ambiguous CFG of size} < n} {\# …

9 fl.formal-languages  grammars  context-free 

Чи існують перестановки та поліноміальний розмір (у ) контекстна вільна граматика, яка описує кінцеву мову над алфавітом ?π1,π2π1,π2\pi_1,\pi_2|w|=n|w|=n|w|=n{wπ1(w)π2(w)}{wπ1(w)π2(w)}\{w \pi_1(w) \pi_2(w)\}{0,1}{0,1}\{0,1\} ОНОВЛЕННЯ: Для однієї перестановки можливо. - обернення або відносно незначна модифікація реверсу.ππ\piππ\pi

9 fl.formal-languages  grammars  context-free