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

В даний час я проводжу кілька досліджень формальної мови за участю класів мов вище регулярних, але нижче вільних від контексту. Я дивлюся на такі речі, як багатообласні машини з реверсивним обмеженням, односкладні лічильники, детерміновані КФЛ тощо. Мені цікаво, чи хтось знає хорошу книгу чи оглядовий документ, який окреслює властивості цих …

12 reference-request  co.combinatorics  fl.formal-languages  automata-theory  research-practice 

Чи може хтось навести приклад двох еквівалентних (визнання тієї ж мови) мінімальних недетермінованих автоматів (NFA), які не є ізоморфними?

12 fl.formal-languages  automata-theory 

Скажімо, у вас є мова , але ніхто не знає, які рядки насправді є частиною мови. Все, що існує, - це кінцевий вигляд мови: кінцевий набір рядків які, як відомо, є мовою, і кінцевий набір рядків , які відомі не бути в мові.L⊆Σ∗L⊆Σ∗L \subseteq \Sigma^*A⊆LA⊆LA \subseteq LB⊆(Σ∗∖L)B⊆(Σ∗∖L)B \subseteq (\Sigma^* \setminus …

12 cc.complexity-theory  fl.formal-languages  automata-theory 

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

12 fl.formal-languages  automata-theory 

Це, мабуть, досить просто, але врахуйте стандартну проблему після кореспонденції: З огляду на , і & beta ; 1 , ... , & beta ; N , знайти послідовність індексів я 1 , ... , я K таким чином, що & alpha ; я 1 ⋯ & alpha ; я …

12 computability  fl.formal-languages 

Я перемістив це запитання з stackoverflow, де я не отримав відповідей. У нас було подібне питання, чи регулярно JSON : І JSON, і XML обидва часто називаються безконтекстними мовами - обидва вони визначаються в основному формальною граматикою в EBNF. Однак це справедливо лише для JSON, визначеного в RFC 4329, розділ …

12 fl.formal-languages 

Загальновідомо, що доповнення {ww∣w∈Σ∗}{ww∣w∈Σ∗}\{ ww \mid w\in \Sigma^*\} без контексту. А як щодо доповнення {www∣w∈Σ∗}{www∣w∈Σ∗}\{ www \mid w\in \Sigma^*\} ?

12 fl.formal-languages  context-free 

Набір слів над обмеженим алфавітом не містить префіксів, якщо немає двох чітких слів, де одне є префіксом іншого. Питання: У чому полягає складність перевірки, чи звичайна мова, що подається як NFA, містить нескінченну підмножину без префікса? Відповідь (завдяки Михайлу Рудому, тут нижче) : Це можна зробити за багаточлен, і я …

11 fl.formal-languages  automata-theory  prefix-free-code  nfa 

Нехай бути мовою і функції за двома параметрами з властивістю , що для всіх і , повертає елемент з якщо і тільки якщо обидва і є елементами :LLLf:Σ⋆×Σ⋆→Σ⋆f:Σ⋆×Σ⋆→Σ⋆f\colon {\Sigma^\star}\times\Sigma^\star\to\Sigma^\starxxxyyyfffLLLxxxyyyLLL f(x,y)∈L⟺x∈L∧y∈L.f(x,y)∈L⟺x∈L∧y∈L.f(x,y)\in L \iff x\in L\wedge y\in L . Запитання Чи мають такі функції в літературі назву? Далі наведено кілька кумедних спостережень. …

11 reference-request  fl.formal-languages 

Система векторного доповнення (VAS) - це кінцевий набір дій A⊂ZdA⊂ZdA \subset \mathbb{Z}^d . NdNd\mathbb{N}^d - сукупність маркування . Перспективою є непустою словом маркування m0m1…mnm0m1…mnm_0 m_1\dots m_n х ∀i∈{0,…,n−1},mi+1−mi∈A∀i∈{0,…,n−1},mi+1−mi∈A\forall i \in \{0, \dots, n-1\}, m_{i+1}-m_i \in A . Якщо таке слово існує, ми говоримо, що mnmnm_n є доступним від m0m0m_0 . …

11 fl.formal-languages  decidability 

Розглянемо наступну проблему: Давши два рядки x, y, вирішіть, чи існує гомоморфізм рядків f таким, що f (x) = y. Неважко показати, що ця проблема в . Чи можна сказати про цю проблему інші речі? наприклад, це в або навіть ?c o N P PNPNPNPcoNPcoNPcoNPPPP Ця проблема здається дуже природною, …

11 cc.complexity-theory  reference-request  fl.formal-languages 

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

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

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

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

Це питання пов'язане з недавнім питанням по 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 

Наступна проблема вирішується: Враховуючи контекстну граматику , чи ?L ( G ) = ∅GGGL(G)=∅L(G)=∅L(G) = \varnothing Наступна проблема не визначена: Враховуючи контекстну граматику , чи ?L ( G ) = A ∗GGGL(G)=A∗L(G)=A∗L(G) = A^{\ast} Чи є характеристика без контекстних мов з рівномірною рівністю ?L ( G ) = MMMML(G)=ML(G)=ML(G) = …

11 computability  fl.formal-languages