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

Мене цікавить невелике узагальнення DFA. Як звичайно, у нас встановлено стан , кінцевий алфавіт , a -дія, визначена на за допомогою , і початковий стан ; але замість звичайного термінального безлічі, ми беремо сімейство підмножин . Багатомовний DFA - це кортежQQQΣΣ\SigmaΣ∗Σ∗\Sigma^*QQQδ:Q×Σ→Qδ:Q×Σ→Q\delta : Q\times\Sigma\rightarrow Qq0q0q_0(Ti)i∈1..n(Ti)i∈1..n(T_i)_{i\in 1..n}QQQMMM (Q,Σ,δ,q0,(Ti))(Q,Σ,δ,q0,(Ti))(Q, \Sigma, \delta, q_0, (T_i)) …

10 automata-theory  dfa 

Оновлення: Здається, ця проблема була вивчена і вирішена останнім часом, дивіться цю статтю у вікі: http://en.wikipedia.org/wiki/Tree_walking_automaton А також це опитування: http://www.mimuw.edu.pl/~bojan /papers/twasurvey.pdf Припустимо, що замість звичного набору слів {0,1} * наші слова не є лінійними, а наводяться на деякій структурі дерева. Щоб наші машини не загубилися, визначте наші слова як …

10 cc.complexity-theory  automata-theory  space-bounded  dfa 

Постановка проблеми : Дозволяє MMM бути (потенційно недетермінованим) автоматичним натисканням та пускати AA\cal Aбути його вхідним алфавітом. Чи є словоw∈A∗w∈A∗w \in \cal A^* вул |w|≤k|w|≤k|w| \leq k що прийнято MМM ? Чи не завершена ця проблема NP? Це було вивчено? Чи існує алгоритм, що дозволяє знайти таке слово?

10 cc.complexity-theory  np-hardness  fl.formal-languages  automata-theory 

Чи є якісь результати щодо розв’язування задач формальної мови з використанням математичного аналізу, безперервної математики. Наприклад, розв’язування задачі про порожнечу перетину для безконтекстної мови та звичайної мови.

9 fl.formal-languages  automata-theory  context-free 

Нехай - кінцевий алфавіт. Для даної мови синтаксичний моноїд являє собою добре відоме поняття в теорії формальних мов. Крім того, моноїд розпізнає мову якщо існує морфізм такий, що .ААAL ⊆А∗L⊆А∗L \subseteq A^{\ast} M(L)М(L)M(L)MМMLLLφ:A∗→Mφ:А∗→М\varphi : A^{\ast} \to ML=φ−1(φ(L)))L=φ-1(φ(L)))L = \varphi^{-1}(\varphi(L))) Тоді ми маємо хороший результат: Моноїд розпізнає якщо є гомоморфним зображенням …

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

З огляду на повний DFA A=(Q,Γ,δ,F)A=(Q,Γ,δ,F)A=(Q, \Gamma, \delta, F), ми можемо визначити набір функцій для кожної та за допомогою , . Ми можемо узагальнити це поняття до слова і де позначає склад функції. Крім того, позначимо а - моноїд.fafaf_aa∈Γa∈Γa\in \Gammafa:Q→Qfa:Q→Qf_a:Q\rightarrow Qfa(q)=δ(q,a)fa(q)=δ(q,a)f_a(q)=\delta(q, a)w=a1,⋯,amw=a1,⋯,amw=a_1, \cdots, a_mfw=fa1∘⋯∘famfw=fa1∘⋯∘famf_w=f_{a_1}\circ \cdots \circ f_{a_m}∘∘\circG = {fш∣ w …

9 automata-theory  regular-language  monoid 

Нехай - кінцевий алфавіт. Код над є підмножиною таке , що кожне слово в можна однозначно представити у вигляді конкатенації слів в . Код є кінцевим, якщоє кінцевим. Що відомо про (мінімальні) автомати, що розпізнають для кінцевого коду ? Чи є характеристика таких автоматів (з точки зору структури автомата, не …

9 automata-theory 

Мені деякий час цікаво ставитись до машин Тюрінга з рівно однією стрічкою та рівно 3 станами (а саме стартовий стан , стан прийняття та стан відхилення ). Зауважте, що я дозволяю довільні (кінцеві) алфавіти стрічки (тобто алфавіт стрічки не обмежений рівним алфавітом введення).q0q0q_0qacceptqacceptq_{accept}qrejectqrejectq_{reject} Для зручності зателефонуйте до класу мов, розпізнаваних …

9 automata-theory  turing-machines  cellular-automata 

Дозволяє ΣΣ\Sigma бути алфавітом розміру 222, і врахуйте мінімальні DFA, розмір яких обмежений максимум mmm. Дозволяєf(m)f(m)f(m) позначають кількість різних таких мінімальних DFA. Чи можемо ми знайти формулу закритої форми для f(m)f(m)f(m)? Враховуючи, що для |Σ|=2|Σ|=2|\Sigma|=2функція переходу DFA розміром не більше є графіком. Оскільки ступінь вузлів обмежена , для кожного вузла …

9 cc.complexity-theory  automata-theory  nondeterminism  dfa 

Чи розпізнають недетерміновані лінійно-обмежені автомати з обмеженим відвідуванням лише регулярні мови? Під недетермінованим лінійним обмеженим автоматом (nLBA) я маю на увазі односмугову недетерміновану машину Тюрінга, де вхід надходить «з підкладкою» з кінцевими маркерами на обох кінцях, які ніколи не можна перезаписати, і так, щоб голова ніколи не могла рухатися з …

9 automata-theory  turing-machines  regular-language  space-bounded 

Алгоритм Бжозовського для перетворення DFA в еквівалентний DFA з мінімальним станом надзвичайно простий: якщо позначає NFA, утворений шляхом реверсування всіх ребер у DFA , перетворюючи старий стан у стан прийняття, а старий приймає держави починають стану, і якщо позначає результат застосування конструкції підмножини до нке , то є мінімальним станом …

9 automata-theory  minimization 

Дано звичайну мову LLL на алфавіті AAA, його мінімальний детермінований автомат може розглядатися як спрямований пов'язаний мультиграф з постійним перевищенням |A||A||A|і позначений початковий стан (забувши мітки переходів, кінцевих станів). Ми зберігаємо початковий стан, оскільки кожна вершина повинна бути доступна з нього. Чи дійсно зворотне? Тобто дається спрямований пов'язаний мультиграфGGG з …

9 graph-theory  automata-theory 

Мене цікавлять ефективні алгоритми перетину DFA для особливих випадків. А саме, коли ДФА для перетину підкоряються певній структурі та / або працюють з обмеженим алфавітом. Чи є джерело, де я можу знайти алгоритми таких випадків? Щоб питання не було занадто широким, особливу інтерес представляє наступна структура: всі DFA, які перетинаються, …

9 automata-theory  time-complexity  dfa 

Мені хотілося б знати, чому для розпізнавання без контекстних мов працюють лише недетерміновані автоматичні натискання (DPA = NPDA). Чому детерміновані автоматичні системи (DPDA) не розпізнають такі мови?

9 fl.formal-languages  automata-theory  context-free 

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

9 computability  fl.formal-languages  automata-theory