Запитання з тегом «automata-theory»

Теорія автоматичних даних, включаючи абстрактні машини, граматики, синтаксичний аналіз, граматичні умовиводи, перетворювачі та методи кінцевого стану

1
Порівняно зростання кількості синтаксичних класів та класів Нерода.
Для мови L ⊆ Σ ^ * , визначають синтаксичну конгруентність ≡ з L в якості найменшого конгруенції на Е ^ * , що насичує L , тобто: u ≡ v ⇔ (∀ x, y) [xuy ∈ L ↔ xvy ∈ L]. Тепер визначте еквівалентність Нероду як наступну правильну конгруентність: …
2
Чи є чітко визначена операція поділу на кінцевих автоматах?
Фон: Враховуючи два детерміновані кінцеві автомати A і B, ми формуємо добуток C, дозволяючи станам в C бути декартовим продуктом станів в A, а станів у В. Тоді ми вибираємо переходи, початковий стан і кінцевий стан, так що мова, прийнята C - перетин мов для A і B. Запитання: (1) …
2
Автомати Büchi зі стратегією прийняття
Проблема Нехай є автоматикою Бючі, розпізнаючи мову . Ми припускаємо , що має стратегію прийому в наступному сенсі: існує функція , які можуть бути використані для пілотних серій . Ми формалізуємо це за допомогою наступних умов: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 …
4
Ієрархії звичайними мовами
Чи є якась відома «приємна» ієрархія L0⊆L1⊆L2⊆…L0⊆L1⊆L2⊆…L_0 \subseteq L_1 \subseteq L_2 \subseteq \dots (може бути скінченною) всередині класу регулярних мов LLL ? Приємно, що класи в кожній ієрархії захоплюють різну виразність / силу / складність. Також приналежність до кожного класу "добре" демонструється деякими елементами (на відміну від висоти зірки, яка …
1
Новий доказ викачки лем для звичайних мов
Нехай LL\mathcal{L} - сімейство всіх мов над задовольняє властивості перекачування регулярних мов. А саме: для кожного існує st, кожне слово , може бути записане у вигляді де: 1. , 2. , 3. для всіх .ΣΣ\SigmaL∈LL∈LL\in\mathcal{L}N∈NN∈NN\in\mathbb{N}w∈Lw∈Lw\in L|w|>N|w|>N|w|> Nw=xyzw=xyz w=xyz|y|>0|y|>0|y|>0|xy|≤N|xy|≤N|xy|\le Nxyiz∈Lxyiz∈Lxy^i z\in Li≥0i≥0i\ge 0 Це простою вправою [1] довести, що містить однотонні …
2
Регулярний проти TC0
Відповідно до зоопарку складності , Reg⊆NC1Reg⊆NC1\mathsf{Reg} \subseteq \mathsf{NC^1} і ми знаємо, що RegReg\mathsf{Reg} не може рахувати так . Однак він не говорить, чи чи ні. Оскільки ми не знаємо \ mathsf {NC ^ 1} \ not \ subseteq \ mathsf {TC ^ 0}, ми також не знаємо \ mathsf {Reg} …
2
Чи корисні автомати XOR (NXA) для кінцевих мов від циклів?
Недетерміновані автомати Xor (NXA) є синтаксично NFA, але, як кажуть, слово приймається NXA, якщо воно має непарне число приймаючих шляхів (замість принаймні одного приймаючого шляху у випадку NFA). Неважко помітити, що для кінцевої регулярної мови LLL існує мінімальний NFA, який не містить жодних циклів (якщо цикл був одночасно доступний з …
4
Чи сумісна ета-еквівалентність функцій з послідовною операцією Haskell?
Лема: якщо припустити, що у нас є ета-еквівалентність (\x -> ⊥) = ⊥ :: A -> B. Доведення: ⊥ = (\x -> ⊥ x)ета-еквівалентністю та (\x -> ⊥ x) = (\x -> ⊥)зменшенням під лямбда. Звіт Haskell 2010, розділ 6.2, визначає seqфункцію двома рівняннями: seq :: a -> b -> …
3
Значення складності держави в автоматах та звичайних мовах?
Я читаю " З'єднання регулярних мов та описової складності " Галини Джираскової, 2009 р. Про складність держави, що виникає в результаті об'єднання двох регулярних мов (Галина Джираскова), але не можу зрозуміти, якими були б практичні наслідки складності держави. . Перша тривіальна думка, яка мене вразила, полягала в тому, що більш …
3
Про реалізацію моноїдів як синтаксичних моноїдів мов
Нехай є якоюсь мовою, тоді ми визначаємо синтаксичну збіжність як і фактор моноїд називається синтаксичної моноїд з . u ∼ v : ⇔ ∀ x , y ∈ X ∗ : x u y ∈ L ↔ x v y ∈ L X ∗ / ∼ L LL ⊆ X∗L⊆X∗L …
2
Автоматичне навчання без зустрічних прикладів
У рамках автоматизованих навчальних програм Angluin студент має на меті вивчити звичайну мову L ⊆ Σ∗L⊆Σ∗L\subseteq \Sigma^* , задаючи вчителю два типи питань: Слова запити: задано w ∈ Σ∗w∈Σ∗w\in \Sigma^* , чи w ∈ Lw∈Lw\in L ? Запити на еквівалентність: задана мова К⊆ Σ∗K⊆Σ∗K\subseteq \Sigma^* , К= LK=LK=L ? Якщо …
1
Складність задачі слів з найменшими виразними літерами, прийнятими кінцевим автоматом
Враховуючи кінцевий (детермінований або недетерміністичний, я не думаю, що це має велике значення) автомат A і поріг n , чи приймає A слово, що містить щонайбільше n різних літер? (Під k різними літерами я маю на увазі, що у aabaa є дві різні літери, a і b .) Я показав, …
4
(N) DFA з однаковими початковими / приймаючими станами
Що відомо про клас мов, розпізнаваний кінцевими автоматами, що мають однаковий початковий і приймаючий стан? Це належна підмножина звичайних мов (оскільки кожна така мова містить порожню рядок), але наскільки вона слабка? Чи є проста алгебраїчна характеристика? Дітто для мов, розпізнаних недетермінованими автоматами, що мають однаковий набір початкових і приймаючих станів.
1
Швидкий розріджений булевий матричний продукт
Отже, у мене є близько 100-200 дуже рідких квадратних булевих матриць довжиною сторони ~ кілька десятків, і мені потрібно обчислити їх добуток. Я знаю, що якщо помножувати їх послідовно, продукт зазвичай залишатиметься таким же рідким на кожному кроці. Чи існують алгоритми продуктів матричного ланцюга, які працюють в цьому випадку особливо …
2
Чому стан FSM традиційно позначається
Викладаючи, як реалізувати FSM, використовуючи синхронні логічні схеми, я помітив інтригуючий збіг: і в теоретичному світі CS, і в електротехнічному світі "стан" зазвичай позначається (і простір стану Q ). Я спершу запитав EE.sx , але потім, трохи вивчаючи цю тему, я виявив, що навіть оригінальний папір Тьюрінга з 1936 року …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.