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

Припустимо, вам надають два детерміновані автоматичні висувні автомати, які розпізнають мови і B , і хочете визначити, чи існує звичайна мова R така, що A ⊆ R і R ∩ B = ∅ . В основному, завдання полягає в тому, щоб визначити, чи існує DFA, який може розпізнати, з якої …

12 automata-theory 

Я шукаю оглядовий документ про важливі поняття в галузі квантових автоматів. Я знайшов квантову теорію автоматів - огляд Гірвенсало, але це звучить занадто лаконічно, щоб зрозуміти тему. Чи є досить всебічне опитування на тему «Квантові автомати»? Також ви могли б вказати мені на істотну літературу з цієї теми?

12 reference-request  quantum-computing  automata-theory 

Нехай - константа. Як ми можемо дозволити побудувати генератор псевдовипадкових випадків, який обдурює d -державні кінцеві автомати?гddгdd Тут -state кінцеві автомати мають d вузлів, стартовий вузол, набір вузлів, що представляють приймаючі стани, та два спрямовані краї, позначені 0, 1, що виходять з кожного вузла. Він змінює стан природним шляхом, коли …

12 automata-theory  pseudorandomness  pseudorandom-generators 

Залишкові автомати з кінцевим станом (RFSA, визначені в [DLT02]) - це NFA, які мають деякі приємні риси, спільні з DFA. Зокрема, завжди існує канонічний RFSA мінімального розміру для кожної звичайної мови, і мова, визнана кожним штатом в RFSA, є залишковою, як і в DFA. Однак, хоча мінімальні стани DFA утворюють …

12 cc.complexity-theory  ds.algorithms  automata-theory  lg.learning  minimization 

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

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

Натхненний цим питанням , мені цікаво таке: Яка найгірша складність перевірки того, чи приймається дана DFA тією ж мовою, що й заданий регулярний вираз? Це відомо? Будемо сподіватися, що ця проблема є в P - що існує поліном алгоритму розміром обох.

12 automata-theory  lg.learning  regular-expressions  dfa 

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

12 fl.formal-languages  automata-theory 

Яка взаємозв'язок між виразністю LTL , Büchi / QPTL , CTL і CTL * ? Чи можете ви навести кілька посилань, які охоплюють якомога більше цих часових логік (особливо між лінійним та розгалужувальним часом)? Діаграма Венна з тими часовими логіками та деякими практичними властивостями як приклади була б ідеальною. Наприклад: …

12 lo.logic  automata-theory  model-checking  temporal-logic 

MPA (багатоскатний автомат) - це 2DFA (двосторонній детермінований кінцевий автомат), який може використовувати довільну кількість гальки (насправді не більше гальки на заданому вході w - вхід записується на стрічку між двома кінцями -марки як # w # ). Під час обчислень MPA може виявити, чи є символ під головою з …

12 cc.complexity-theory  reference-request  automata-theory  space-bounded 

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

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

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

Прочитавши відповідне запитання про неконструктивні докази існування алгоритмів, мені було цікаво, чи існують способи показу існування "малих" (скажімо, державних) обчислювальних машин, фактично не будуючи його. Формально: припустимо, нам дається деяка мова і виправляється деяка обчислювальна модель (NFAs / turing machine / тощо).L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* Чи існують якісь неконструктивні результати існування, що …

11 cc.complexity-theory  automata-theory  turing-machines 

Автомати, що чергуються з одночасним чергуванням (1APDA), можуть розпізнати будь-яку мову в (чергування Chandra, Kozen та Stockmeyer, 1981) . Замінивши накопичувач 1APDA на лічильник, ми можемо отримати односторонній змінний автомат з одноразовим лічильником (1ACA). Моє запитання щодо 1ACA на одинарних мовах.DTIME(2O(n))DTIME(2O(n)) DTIME(2^{O(n)}) Чи можуть 1ACA розпізнавати деякі нерівномірні нестандартні мови? …

11 automata-theory  counter-automata  unary-languages 

Усі мої підручники використовують один і той же алгоритм для створення DFA, заданого регулярним виразом: Спочатку зробіть NFA, який розпізнає мову регулярного виразів, потім, використовуючи побудову підмножини (він же "powerset"), перетворять NFA в еквівалентну DFA ( необов'язково мінімізуючи DFA). Я також одного разу почув, як професор натякає на існування інших …

11 automata-theory  regular-expressions  dfa