Запитання з тегом «dfa»

Розглянуті тут перетворювачі - це ті, що у Вікіпедії називають перетворювачами кінцевого стану . Поведінка перетворювача , тобто відношення, яке він обчислює, записується [ T ] : слово y - вихід для x iff x [ T ] y .TTT[T][T][T]yyyxxxx[T]yx[T]yx[T]y Питання: Чи вирішується така проблема: Дано: перетворювач і регулярний мову …

10 ds.algorithms  reference-request  automata-theory  regular-language  dfa 

Мене цікавить невелике узагальнення 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 

Дозволяє ΣΣ\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 

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

9 automata-theory  time-complexity  dfa