Запитання з тегом «fl.formal-languages»

Невідомо, чи P⊆CSLP⊆CSLP\subseteq CSL або П⊈ СSLП⊈СSLP\not\subseteq CSL, де ППP - сукупність усіх мов, які можна визначити в поліноміальний час на детермінованій машині Тьюрінга, і СSLСSLCSL - клас контекстно-чутливих мов, який, як відомо, еквівалентний , мовам, визначеним лінійно обмеженими автоматами.NSПА СЕ( O ( n ) )NSПАСЕ(О(н))NSPACE(O(n)) Для багатьох відкритих питань …

10 cc.complexity-theory  fl.formal-languages  polynomial-time 

Постановка проблеми : Дозволяє MMM бути (потенційно недетермінованим) автоматичним натисканням та пускати AA\cal Aбути його вхідним алфавітом. Чи є словоw∈A∗w∈A∗w \in \cal A^* вул |w|≤k|w|≤k|w| \leq k що прийнято MМM ? Чи не завершена ця проблема NP? Це було вивчено? Чи існує алгоритм, що дозволяє знайти таке слово?

10 cc.complexity-theory  np-hardness  fl.formal-languages  automata-theory 

Існує ряд різних моделей для визначення перетворень між мовами. Перетворювачі скінченного стану та перетворення графіків, визначених MSO, на строкових графіках - це два, з якими я найкраще знайомий. Ми знаємо, що двосторонні перетворювачі з кінцевим станом (які є більш виразними, ніж їх односторонні аналоги) та рядкові перетворення, визначені MSO, охоплюють …

9 fl.formal-languages 

Чи є якісь результати щодо розв’язування задач формальної мови з використанням математичного аналізу, безперервної математики. Наприклад, розв’язування задачі про порожнечу перетину для безконтекстної мови та звичайної мови.

9 fl.formal-languages  automata-theory  context-free 

Нехай - кінцевий алфавіт. Для даної мови синтаксичний моноїд являє собою добре відоме поняття в теорії формальних мов. Крім того, моноїд розпізнає мову якщо існує морфізм такий, що .ААAL ⊆А∗L⊆А∗L \subseteq A^{\ast} M(L)М(L)M(L)MМMLLLφ:A∗→Mφ:А∗→М\varphi : A^{\ast} \to ML=φ−1(φ(L)))L=φ-1(φ(L)))L = \varphi^{-1}(\varphi(L))) Тоді ми маємо хороший результат: Моноїд розпізнає якщо є гомоморфним зображенням …

9 fl.formal-languages  automata-theory  regular-language  algebra  monoid 

Яке співвідношення неоднозначних 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 

Мені хотілося б знати, чому для розпізнавання без контекстних мов працюють лише недетерміновані автоматичні натискання (DPA = NPDA). Чому детерміновані автоматичні системи (DPDA) не розпізнають такі мови?

9 fl.formal-languages  automata-theory  context-free 

Я вивчаю алгебраїчну теорію розбору. Моя перша проблема - визначення прикладів семірінгу, специфічних для формальної теорії мови. Ось спроба побудувати два приклади. 1 Враховуючи граматику CNF, елементами семірінгу є набори термінальних та нетермінальних символів з операціями: i) Множення , з'єднання двох множин у парі згідно з правилом CYK. Наприклад, дані …

9 fl.formal-languages 

Мені було цікаво, які набори мов породжуються обмеженнями регулярних виразів. Припустимо, що всі обмеження мають постійний символ для кожного елемента та конкатенації. Тоді вісім класів можуть бути сформовані за наявністю або відсутністю доповнення / заперечення, зміни / об'єднання та зірки Клінова. (Так, "нормальні" регулярні вирази не мають оператора , але …

9 fl.formal-languages  regular-expressions 

Аналізатори діаграм можуть бути реалізовані на основі нормальної форми Хомського або безпосередньо на основі виробничих правил. На даний момент припустимо, що у нас є аналізатор діаграм CYK, який використовує нормальну форму Хомського. Бінаризація не визначена однозначно. Чи впливає це на ефективність розбору діаграм CYK Чи можна це використовувати для покращення …

9 fl.formal-languages  parsing 

Чи існують перестановки та поліноміальний розмір (у ) контекстна вільна граматика, яка описує кінцеву мову над алфавітом ?π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 

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

9 computability  fl.formal-languages  automata-theory