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

1
Достатні умови для регулярності без контекстної мови
Було б непогано зібрати перелік умов, які означають, що безконтекстна мова L є регулярною, тобто умовами форми: "якщо дана CFG / PDA має властивість P, то її мови є регулярними" Властивість P не повинна характеризувати CFG, що генерують регулярні мови. Крім того, P не повинно бути вирішуваним, і P повинно …
1
Нижні межі щодо розміру CFG для конкретних кінцевих мов
Розглянемо наступне природне запитання: З огляду на кінцеву мову , яка найменша грамотна граматика, що породжує L ?LLLLLL Ми можемо зробити питання більш цікавим, вказавши послідовність мов , наприклад, L n - це набір усіх перестановок { 1 , … , n } : інтуїтивно, CFG для L n "повинен" …
1
Є {ww '| HamDist (w, w ')> 1} без контексту?
Після прочитання недавнього питання «Чи є додаток {www∣...}{www∣...}\{ www \mid ...\} Контекстно-вільним?» ; Я згадав подібну проблему, яку я не зміг спростувати: Є L={ww′∣w,w′∈{0,1}∗∧|w|=|w′|∧HamDist(w,w′)>1}L={ww′∣w,w′∈{0,1}∗∧|w|=|w′|∧HamDist(w,w′)>1}L = \{ ww' \mid w,w' \in \{0,1\}^* \land |w|=|w'| \land HamDist(w,w')>1 \} контексту? Тут ми вимагаємо, щоб дві струни відрізнялися щонайменше у двох положеннях (відстань Хеммінга …
2
Чи є SAT безтекстовою мовою?
Я розглядаю мову всіх задовольняючих пропозиційних логічних формул, SAT (щоб переконатися, що в цьому є кінцевий алфавіт, ми би кодували пропозиції пропозицій якимись підходящими способами [редагувати: у відповідях зазначалося, що відповідь на запитання може бути недостатньо надійним різні кодування, тому потрібно бути більш конкретними - див. мої висновки нижче] ). …
3
Чи існує найскладніший DCFL?
Greibach хвацько визначив мову , так звану недетермінірованного версію про , таких , що будь-яка КЛЛ є зворотною морфіческого зображення . Чи існує аналогічне твердження з DCFL, можливо, з деяким обмеженням дозволених морфізмів?ННHD2D2D_2ННH (Див., Наприклад, М. Ауберт, Дж. Берстель та Л. Боассон. Безтекстові мови та автоматичні автоматичні розгортання. У Р. …
2
Довідка для мов Dyck -повна
Мова мов визначається наступною граматикою над набором символів . Інтуїтивно зрозумілі мови Dyck - це мови збалансованих дужок різного роду. Наприклад, є в але це не так.S → S SD y c k ( k )Dyck(k)\mathsf{Dyck}(k){ ( 1 , … , ( k , ) 1 , … , ) …
3
Неоднозначність у регулярних та без контексту мовах
Я розумію, що такі твердження є правдивими: Два різних похідних рядка в даній CFG можуть іноді приписувати одне і те ж дерево розбору для рядка. Коли в даній CFG є виводи деяких рядків, які приписують різні дерева розбору, CFG є неоднозначним. Деякі безконтекстні мови, породжені неоднозначними CFG, також породжуються однозначними …
1
Яка державна складність мови копіювання?
Нехай дається число . Розглянемо наступну мову 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 Розглянемо наступну функцію складності стану таку, що …
3
Постійна математика та теорія формальної мови
Чи є якісь результати щодо розв’язування задач формальної мови з використанням математичного аналізу, безперервної математики. Наприклад, розв’язування задачі про порожнечу перетину для безконтекстної мови та звичайної мови.
1
Проблема членства для певного класу необмежених граматик
Розглянемо довільну без контексту граматику GGG над алфавітом {0,1,0¯¯¯,1¯¯¯}{0,1,0¯,1¯}\lbrace 0,1,\overline{0} ,\overline{1} \rbrace. До постановок цієї граматики додайте дві фіксовані безконтекстні постановкиPPP: 0¯¯¯0→ϵ0¯0→ϵ\overline{0} 0 \rightarrow \epsilon і 1¯¯¯1→ϵ1¯1→ϵ\overline{1} 1 \rightarrow \epsilon. Назвіть отриману граматикуGPGPG^P стоячи за "GGG доповнені з постановками PPP". Чи можна дати алгоритм, який займає граматику GPGPG^P і рядок …
1
Асимптотична щільність неоднозначних безконтекстних граматик (CFG)
Яке співвідношення неоднозначних 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} {\# …
2
Чому необхідний недетермінізм (автоматичні автоматичні випадання)?
Мені хотілося б знати, чому для розпізнавання без контекстних мов працюють лише недетерміновані автоматичні натискання (DPA = NPDA). Чому детерміновані автоматичні системи (DPDA) не розпізнають такі мови?
1
Чи існує CFG полінома розміру, який описує цю кінцеву мову?
Чи існують перестановки та поліноміальний розмір (у ) контекстна вільна граматика, яка описує кінцеву мову над алфавітом ?π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
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.