Вопросы с тегом «dfa»

Рассматриваемые здесь преобразователи - это те, которые Википедия называет преобразователями конечного состояния . Поведение преобразователя , то есть вычисляемого им отношения, записывается как [ T ] : слово y является выходом для x тогда и только тогда, когда x [ T ] y .TTT[T][T][T]yYyxИксxx[T]yИкс[T]Yx[T]y Вопрос: разрешима ли следующая проблема: Дано: …

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

Я заинтересован в небольшом обобщении DFA. Как обычно, мы имеем набор состояний , конечный алфавит , действие определенное на помощью , и начальное состояние ; но вместо обычного терминального множества, мы берем семейство подмножеств . Многоязычный 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, размер которых ограничен не более мmm, Позволятье( м )f(m)f(m) обозначим количество различных таких минимальных ДФА. Можем ли мы найти формулу замкнутой формы для е( м )f(m)f(m)? Учитывая, что для | Σ | =2|Σ|=2|\Sigma|=2 функция перехода DFA размера не более мmmэто график. …

9 cc.complexity-theory  automata-theory  nondeterminism  dfa 

Меня интересуют эффективные алгоритмы пересечения DFA для особых случаев. А именно, когда DFA пересекаются, подчиняются определенной структуре и / или работают по ограниченному алфавиту. Есть ли источник, где я могу найти алгоритмы таких случаев? Чтобы не делать вопрос слишком широким, особый интерес представляет следующая структура: все DFA, которые должны пересекаться, …

9 automata-theory  time-complexity  dfa