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

Ми говоримо, що 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 

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

16 reference-request  fl.formal-languages  automata-theory  context-free  context-free-languages 

За класичним результатом Kuroda, клас складності NSPACE [ ]nnn (також відомий як NLIN-SPACE) є саме класом CSL контекстно-чутливих мов . Проблема задоволеності SAT полягає в NSPACE [ ], оскільки здогадка рішення лінійного розміру може бути перевірена якнайбільше лінійної суми накладних витрат для ведення бухгалтерського обліку. Це означає, що SAT повинен …

16 cc.complexity-theory  fl.formal-languages  sat  space-bounded 

Перестановочна фраза - це розширення до стандартних граматичних визначень BNF-контексту: перестановочна фраза містить виробництв (або, що еквівалентно, нетерміналів) від до . На позиції фрази перестановки ми хотіли б побачити кожну з цих постановок рівно один раз, але нас не цікавить впорядкування цих нетерміналів.{A1, … ,An}{A1,…,Ан}\{ A_1, \dots, A_n \}ннnА1А1A_1АнАнA_n Наприклад: …

16 ds.algorithms  fl.formal-languages  parsing  context-free 

Існують теоретичні докази того, що наївна декартово-продуктова конструкція для перетину ДФА - "найкраще, що ми можемо зробити". А як щодо об'єднання двох DFA? Тривіальна конструкція передбачає перетворення кожної DFA в NFA, додавання епсилонного переходу та визначення результуючої NFA. Чи можемо ми зробити краще? Чи відомо про обмеження розміру мінімальної конкатенації …

16 cc.complexity-theory  fl.formal-languages  automata-theory  dfa 

Мені було цікаво, чи є хороша бібліографія спроб дослідження гіпотези Колатца як формальної граматики? (або будь-які інші спроби спільноти CS боротися з цим класом генеративних явищ та їх властивостями "зупинки").

16 fl.formal-languages  nt.number-theory  halting-problem 

Мене цікавлять два питання щодо контекстно-залежної мови (CSL) та повноти: Чи існує поняття повноти для CSL та якими мовами є повними? Чи існують природні CSL, які не мають повного NP? Для 2. я, безумовно, можу думати про природні мови, що повністю завершуються NP, які є CSL (оскільки CSL дорівнює NSPACE …

16 np-hardness  fl.formal-languages  space-bounded 

Для мови L ⊆ Σ ^ * , визначають синтаксичну конгруентність ≡ з L в якості найменшого конгруенції на Е ^ * , що насичує L , тобто: u ≡ v ⇔ (∀ x, y) [xuy ∈ L ↔ xvy ∈ L]. Тепер визначте еквівалентність Нероду як наступну правильну конгруентність: …

16 automata-theory  fl.formal-languages 

Це не обов'язково питання дослідження. Просто питання з цікавості: Я намагаюся зрозуміти, чи можна визначити "невідкладні" мови. Першим здогадком я називаю мову L "скорочуваною", якщо її можна записати як з A ∩ B = ∅ і | А | , | Б | > 1 , інакше назвіть мову "непридатною". …

15 fl.formal-languages 

Фон: Враховуючи два детерміновані кінцеві автомати A і B, ми формуємо добуток C, дозволяючи станам в C бути декартовим продуктом станів в A, а станів у В. Тоді ми вибираємо переходи, початковий стан і кінцевий стан, так що мова, прийнята C - перетин мов для A і B. Запитання: (1) …

15 fl.formal-languages  automata-theory  dfa 

Відомо, що мінімізація розміру регулярного виразу є повною PSPACE, навіть якщо у нас є специфікація DFA . Які результати, якщо мова кінцева? Цю проблему можна розглядати у двох моделях: Вхід - це всі рядки в мові, і розмір введення вимірюємо за сумою довжини всіх рядків. Вхід є DFA, і ми …

15 cc.complexity-theory  reference-request  fl.formal-languages  regular-expressions  dfa 

Проблема Нехай є автоматикою Бючі, розпізнаючи мову . Ми припускаємо , що має стратегію прийому в наступному сенсі: існує функція , які можуть бути використані для пілотних серій . Ми формалізуємо це за допомогою наступних умов: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 

(Узагальнена) висота зірки мови - це мінімальне вкладення зірок Клейна, необхідних для представлення мови розширеним регулярним виразом. Нагадаємо, що розширений регулярний вираз над скінченним алфавітом задовольняє наступному:АAA (1) і a - це розширені регулярні вирази для всіх a ∈ A∅ , 1∅,1\emptyset, 1аaaa ∈ Aa∈Aa\in A (2) Для всіх розширених …

15 fl.formal-languages  lower-bounds  regular-expressions 

У розділі 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