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

Линейная временная логика и детерминированные автоматы несопоставимы: администратор баз данных не может выражать , а LTL не может выражать «по крайней мере, каждая нечетная буква - это« а »» . Но иногда интересно узнать, можно ли выразить язык DBA в литах.FGaFGaFGa Мне нужен алгоритм, который решает, является ли язык данного …

10 logic  automata  linear-temporal-logic  buchi-automata 

Вопрос в значительной степени в названии. Есть ли время, когда некоторый язык может быть принят минимальным 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 

Существует теорема, которая гласит: Дан конечный автомат, имеющий 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 

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

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