Вопросы с тегом «finite-automata»

Или, по крайней мере, сгенерируйте набор строк, которые принимает один NFA, чтобы я мог передать их в другой NFA. Если я сделаю поиск по каждому пути NFA, это будет работать? Хотя это займет много времени.

10 algorithms  regular-languages  finite-automata 

Я дурачился с демоверсией Google Blocky's Maze и вспомнил старое правило, что если вы хотите решить лабиринт, просто держите левую руку на стене. Это работает для любого односвязного лабиринта и может быть реализовано конечным преобразователем. Пусть наш робот будет представлен преобразователем со следующими действиями и наблюдаемыми: Действия: идти вперед ( …

10 automata  finite-automata  artificial-intelligence 

Вопрос в значительной степени в названии. Есть ли время, когда некоторый язык может быть принят минимальным DFA с состояниями, но , обращение , может быть принято DFA с состояниями, где ?n L R L m m &lt; nLLLNnnLрLRL^RLLLмmmм &lt; нm&lt;nm<n

10 formal-languages  reference-request  automata  finite-automata 

Как я могу построить пример DFA, который имеет состояний, где эквивалентный NFA имеет состояний. Очевидно, набор состояний DFA должен содержать все подмножества набора состояний NFA, но я не знаю, с чего начать. Любые предложения, чтобы поставить меня на правильный путь?2n2n2^nnnn

10 automata  finite-automata 

Я работаю через Sipser Book (2-е издание) и наткнулся на этот пример, который я не понимаю. В книге говорится, что этот NFA принимает пустую строку εε\epsilon . Может ли кто-нибудь объяснить мне, почему это так? Насколько я понимаю, εε\epsilon перейдет к Q3Q3q_3 который не является состоянием принятия.

9 regular-languages  finite-automata  nondeterminism 

Существует теорема, которая гласит: Дан конечный автомат, имеющий nnn указывает, существует ли строка www длина которого удовлетворяет n≤|w|≤2n−1n≤|w|≤2n−1n \leq |w| \leq 2n-1 тогда язык, принятый автоматом, бесконечен. Я понимаю ограничение |w|≥n|w|≥n|w| \geq n, но я не понимаю, почему ограничение |w|≤2n−1|w|≤2n−1|w| \leq 2n-1 есть.

9 automata  finite-automata 

DFA, NFA и epsilon NFA - все три позволяют нам представлять определенный регулярный язык. С любым из этих представлений мы можем прийти к одному и тому же регулярному выражению, тогда зачем нам нужно изучать все три формы представления конечных автоматов? Может быть какое-то объяснение того, что может сделать NFA, чего …

9 automata  finite-automata  education 

Мы можем сформировать DFA, принимающий двоичные числа, делимые на nnn . Например, DFA, принимающий двоичные числа, делимые на 2, может быть сформирован следующим образом: Аналогично, DFA, принимающий двоичные числа, делимые на 3, может быть сформирован следующим образом: Мы можем следовать четко определенной процедуре для формирования этих типов DFA. Однако может …

9 regular-languages  automata  finite-automata  regular-expressions 

Пусть входная строка будет задана как . Затем, если NFA в настоящее время находится в состоянии (и прочитал входной алфавит ), то перед чтением следующего входного символа NFA разделяется на два NFA, один из которых находится в состоянии а другой - в , если происходит переход тип . Если существует …

9 turing-machines  finite-automata  pushdown-automata  computation-models  nondeterminism 

Кажется, я вспоминаю из студенческого класса, что для машины Тьюринга с конечной лентой всегда будут существовать соответствующие конечные автоматы, но я не смог найти это подтверждение где-либо в Интернете. Это на самом деле так, или я неправильно помню?

9 turing-machines  finite-automata 

Я генерирую случайные DFA для проверки алгоритма сокращения DFA на них. Алгоритм, который я сейчас использую, таков: для каждого состояния , для каждого символа в алфавите c добавьте δ ( q , c ) к некоторому случайному состоянию. Каждое состояние имеет одинаковую вероятность стать конечным состоянием.qqqcccδ(q,c)δ(q,c)\delta (q, c) Это хороший …

9 algorithms  finite-automata  randomness  pseudo-random-generators  random-graphs 

Недавно я задал вопрос по математике SE. Ответа пока нет. Этот вопрос связан с этим вопросом, но с техническими подробностями в отношении информатики. Даны два DFA A=(Q,Σ,δ,q1,F1)A=(Q,Σ,δ,q1,F1)A = (Q, \Sigma, \delta, q_1, F_1) и где набор состояний, входной алфавит и функция перехода и одинаковы, начальные состояния и конечные (принимающие) состояния …

9 formal-languages  reference-request  finite-automata 

Я застрял, решая следующее упражнение: Докажите, что если зависит от контекста, а R регулярно, то L / R = { w ∣ ∃ x ∈ RLLLRRR (т.е.правый фактор) не зависит от контекста.L/R={w∣∃x∈Rs.twx∈L}L/R={w∣∃x∈Rs.twx∈L}L / R = \{ w \mid \exists x \in R \;\text{s.t}\; wx \in L\} Я знаю , что …

9 formal-languages  context-free  finite-automata  closure-properties  pushdown-automata 

Я начал изучать недетерминированные автоматы, используя книгу Хопкрофта и Уллмана . Я застрял в проблеме, которая показалась мне очень интересной: Дать недетерминированный конечный автомат, принимающий все строки, имеющие одинаковое значение, при оценке слева направо как справа налево путем умножения в соответствии со следующей таблицей: ×aбсaaсббaaсссбa×abcaaacbcabcbca\qquad \displaystyle\begin{array}{c|ccc} \times & a & …

9 formal-languages  automata  regular-languages  finite-automata  nondeterminism