Запитання з тегом «regular-language»

В теорії автоматів (кінцеві автомати, пушдауд-автомати, ...) і в складності існує поняття "неоднозначність". Автомат неоднозначний, якщо є слово www з принаймні двома чітко прийнятими прогонами. Машина kkk неоднозначна, якщо для кожного слова wшw прийнятого машиною, існує максимум kkk різних чітких циклів, щоб прийняти www . Це поняття також визначається в …

17 lo.logic  automata-theory  regular-language  nondeterminism  finite-model-theory 

Ми говоримо, що NFA є постійно неоднозначним, якщо існує такий, що будь-яке слово приймається або або (точно) шляхами.k ∈ N w ∈ Σ ∗ 0 kMMMk∈Nk∈Nk\in \mathbb{N}w∈Σ∗w∈Σ∗w\in \Sigma^*000kkk Якщо автомат постійно неоднозначний при , то називається однозначним FA (UFA).k = 1 MMMMk=1k=1k=1MMM Нехай - звичайна мова.LLL Чи може деякий постійно …

16 complexity-classes  fl.formal-languages  automata-theory  regular-language 

Однозначні кінцеві автомати (UFA) - це особливий тип недетермінованих кінцевих автоматів (NFA). NFA називається однозначним, якщо кожне слово має щонайменше один приймаючий шлях.w∈Σ∗w∈Σ∗w\in \Sigma^* Це означає .DFA⊂UFA⊂NFADFA⊂UFA⊂NFADFA\subset UFA\subset NFA Відомі пов'язані результати автоматики: Мінімізація NFA завершена PSPACE. Мінімізація NFA на обмежених мовах є DP-Hard . Мінімізація UFA завершена NP . …

16 cc.complexity-theory  fl.formal-languages  automata-theory  regular-language 

Проблема Нехай є автоматикою Бючі, розпізнаючи мову . Ми припускаємо , що має стратегію прийому в наступному сенсі: існує функція , які можуть бути використані для пілотних серій . Ми формалізуємо це за допомогою наступних умов:L ⊆ Е ш σ : Е * → QA=⟨Σ,Q,q0,F,Δ⟩A=⟨Σ,Q,q0,F,Δ⟩A=\langle \Sigma, Q, q_0,F,\Delta\rangleL⊆ΣωL⊆ΣωL\subseteq\Sigma^\omegaAAAσ:Σ∗→Qσ:Σ∗→Q\sigma:\Sigma^*\to QAAA σ(ϵ)=q0σ(ϵ)=q0\sigma(\epsilon)=q_0 …

15 fl.formal-languages  automata-theory  regular-language  nondeterminism 

Чи є якась відома «приємна» ієрархія L0⊆L1⊆L2⊆…L0⊆L1⊆L2⊆…L_0 \subseteq L_1 \subseteq L_2 \subseteq \dots (може бути скінченною) всередині класу регулярних мов LLL ? Приємно, що класи в кожній ієрархії захоплюють різну виразність / силу / складність. Також приналежність до кожного класу "добре" демонструється деякими елементами (на відміну від висоти зірки, яка …

14 automata-theory  regular-language  regular-expressions 

Відповідно до зоопарку складності , Reg⊆NC1Reg⊆NC1\mathsf{Reg} \subseteq \mathsf{NC^1} і ми знаємо, що RegReg\mathsf{Reg} не може рахувати так . Однак він не говорить, чи чи ні. Оскільки ми не знаємо \ mathsf {NC ^ 1} \ not \ subseteq \ mathsf {TC ^ 0}, ми також не знаємо \ mathsf {Reg} …

14 cc.complexity-theory  fl.formal-languages  automata-theory  circuit-complexity  regular-language 

Я читаю " З'єднання регулярних мов та описової складності " Галини Джираскової, 2009 р. Про складність держави, що виникає в результаті об'єднання двох регулярних мов (Галина Джираскова), але не можу зрозуміти, якими були б практичні наслідки складності держави. . Перша тривіальна думка, яка мене вразила, полягала в тому, що більш …

14 fl.formal-languages  automata-theory  regular-language 

Було б непогано зібрати перелік умов, які означають, що безконтекстна мова L є регулярною, тобто умовами форми: "якщо дана CFG / PDA має властивість P, то її мови є регулярними" Властивість P не повинна характеризувати CFG, що генерують регулярні мови. Крім того, P не повинно бути вирішуваним, і P повинно …

14 reference-request  fl.formal-languages  regular-language  context-free  survey 

Нехай є якоюсь мовою, тоді ми визначаємо синтаксичну збіжність як і фактор моноїд називається синтаксичної моноїд з . u ∼ v : ⇔ ∀ x , y ∈ X ∗ : x u y ∈ L ↔ x v y ∈ L X ∗ / ∼ L LL ⊆ X∗L⊆X∗L …

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

У рамках автоматизованих навчальних програм Angluin студент має на меті вивчити звичайну мову L ⊆ Σ∗L⊆Σ∗L\subseteq \Sigma^* , задаючи вчителю два типи питань: Слова запити: задано w ∈ Σ∗w∈Σ∗w\in \Sigma^* , чи w ∈ Lw∈Lw\in L ? Запити на еквівалентність: задана мова К⊆ Σ∗K⊆Σ∗K\subseteq \Sigma^* , К= LK=LK=L ? Якщо …

13 automata-theory  regular-language 

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

13 reference-request  fl.formal-languages  regular-language 

Що відомо про клас мов, розпізнаваний кінцевими автоматами, що мають однаковий початковий і приймаючий стан? Це належна підмножина звичайних мов (оскільки кожна така мова містить порожню рядок), але наскільки вона слабка? Чи є проста алгебраїчна характеристика? Дітто для мов, розпізнаних недетермінованими автоматами, що мають однаковий набір початкових і приймаючих станів.

13 fl.formal-languages  automata-theory  algebra  regular-language 

Мене цікавить класична проблема РЕГУЛЯЦІЙНЕ ВКЛЮЧЕННЯ МОВИ. Давши регулярний вираз EЕE , позначимо через L(E)L(E)L(E) звичайну мову, пов'язану з ним. (Регулярні вирази знаходяться на фіксованому алфавіті ΣΣ\Sigma , з об'єднанням операцій, зіркою Kleene та конкатенацією.) Введення: Два регулярні вирази і E 2 Питання: Чи правда, що L ( E 1 …

11 cc.complexity-theory  reference-request  regular-language  parameterized-complexity  regular-expressions 

Я розумію, що такі твердження є правдивими: Два різних похідних рядка в даній CFG можуть іноді приписувати одне і те ж дерево розбору для рядка. Коли в даній CFG є виводи деяких рядків, які приписують різні дерева розбору, CFG є неоднозначним. Деякі безконтекстні мови, породжені неоднозначними CFG, також породжуються однозначними …

11 fl.formal-languages  regular-language  context-free 

Це питання пов'язане з недавнім питанням по Janoma . Фон У програмуванні обмежень, A регулярне глобальне обмеження над областю є пара з кортежем змінних (про масштаб) і ДКА над областю . Призначення до задовольняє якщо приймає рядок .cccDDD(s,M)(s,M)(s, M)sssMMMDDDθθ\thetassscccMMMθ(s1)θ(s2)…θ(sn)θ(s1)θ(s2)…θ(sn)\theta(s_1)\theta(s_2)\ldots\theta(s_n) Нижче припустимо, що домен фіксований. Визначте відношення еквівалентності над набором рядків …

11 co.combinatorics  fl.formal-languages  automata-theory  regular-language