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

Говорят, что пересечение языка L, не зависящего от контекста, с обычным языком M всегда является контекстно-свободным. Я понял доказательство создания перекрестного продукта, но до сих пор не понимаю, почему он не контекстный, а не регулярный. Язык, генерируемый таким пересечением, имеет строки, которые принимаются как PDA, так и DFA. Поскольку он …

16 regular-languages  context-free  finite-automata  formal-grammars 

Алгоритм минимизации DFA Бжозовского создает минимальный DFA для DFA путем:граммGG обращая все ребра в , делая начальное состояние принимающим, а принимающее - начальным, чтобы получить NFA для обратного языка,N ′граммGGN'N′N' используя конструкцию powerset, чтобы получить для обратного языка,грамм'G′G' обращая ребра (и начально-принимающий обмен) в чтобы получить NFA для исходного языка, …

16 algorithms  finite-automata  runtime-analysis 

Недавно был задан интересный вопрос, который впоследствии был удален. Для обычного языка его сложность DFA - это размер минимального DFA, принимающего его, а сложность NFA - это размер минимального NFA, принимающего его. Хорошо известно, что между двумя сложностями существует экспоненциальное разделение, по крайней мере, когда размер алфавита не ограничен. Действительно, …

15 regular-languages  finite-automata 

Для языка LLL определите множество длин как множество длин слов в : L L S ( L ) = { | ты | | U ∈ L }LLLLLLL S (L)={ | ты | |U∈L}LS(L)={|u|∣u∈L}\mathrm{LS}(L) = \{|u| \mid u \in L \} Какие наборы целых чисел могут быть набором длины обычного …

15 formal-languages  computability  regular-languages  finite-automata 

Я имею в виду этот [забавный] вопрос. Почему недетерминированный конечный автомат называется недетерминированным, в то время как мы определяем переходы для входных данных. Что ж, несмотря на то, что существуют множественные и эпсилон- переходы, они определены, что означает, что машина является детерминированной для этих переходов. Что означает, что это детерминировано.

14 finite-automata  nondeterminism 

Учитывая алфавит , сколько существует различных регулярных языков, которые могут быть приняты недетерминированным конечным автоматом с n состояниями?Σ={a,b}Σ={a,b}\Sigma = \{ a,b \}nnn В качестве примера рассмотрим . Затем у нас есть 2 18 различных конфигураций перехода и 2 3 различных конфигурации начального и конечного состояний, поэтому у нас есть верхняя …

14 formal-languages  regular-languages  finite-automata  combinatorics 

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

14 complexity-theory  finite-automata  nondeterminism 

Я хочу знать, разрешима ли следующая проблема: Экземпляр: NFA A с n государствами Вопрос: существует ли некоторое простое число p такое, что A принимает некоторую строку длины p. Я считаю, что эта проблема неразрешима, но я не могу доказать это. Решающий орган может легко иметь алгоритм для определения, является ли …

14 computability  finite-automata 

Я программист с автоматом, но не с логикой. Я читал в газетах, что они очень тесно связаны. Детерминированные конечные автоматы (DFA), древовидные автоматы и автоматы видимого нажатия - все они связаны с монадической логикой второго порядка (MSO). Хотя, я понимаю, что автоматы и люди (в статьях) пытались объяснить мне отношение …

14 automata  finite-automata  logic  coq  automated-theorem-proving 

Я изучаю формальные языки и системы баз производства (системы баз правил), и меня немного смущает вопрос, почему эти два слова «производство» и «правило» означают одно и то же во многих контекстах компьютерных наук. В английском языке они не означают одно и то же. Я не являюсь носителем английского языка, но …

13 formal-languages  terminology  automata  finite-automata  formal-grammars 

Завтра моя презентация, и я хочу прояснить свои концепции ... Я прочитал это в DFA: «Для каждого состояния должен быть определен переход на все возможные символы (алфавит)». Является ли для каждого состояния определение перехода по всем возможным символам обязательным в DFA? Если нет, то приведите, пожалуйста, какие-нибудь примеры?

13 automata  finite-automata  nondeterminism 

Я только начал читать о теории вычислений. Если мы сравним, что является более мощным (в принятии строк), оба одинаковы. Но как насчет эффективности? DFA будет быстрым по сравнению с NFA, поскольку у него есть только один исходящий фронт, и не будет никакой двусмысленности. Но в случае NFA мы должны проверить …

13 finite-automata  efficiency  nondeterminism 

Цель состоит в том, чтобы создать DFA из регулярного выражения, и использование «Regular exp> NFA> DFA преобразование» не вариант. Как это сделать? Я задал этот вопрос нашему профессору, но он сказал мне, что мы можем использовать интуицию, и любезно отказался дать какие-либо объяснения. Поэтому я хотел спросить вас. «Преобразование регулярного …

12 automata  finite-automata  regular-expressions  simulation 

На картинке ниже я пытаюсь понять, что именно принимает этот NFA. Что меня смущает, так это прыжок на .q 0εϵ\epsilonQ0q0q_0 Если введен , система переместится в и (состояние принятия)?q 0 q 1000Q0q0q_0 Q1q1q_1 Если введено , система переместится на и ?q 1 q 2111Q1q1q_1q2q2q_2 Переходит ли система только в (состояние …

12 automata  finite-automata  nondeterminism 

Мне интересно, какова сложность определения пустоты для двусторонних DFA? То есть конечные автоматы, которые могут двигаться назад на своей ленте ввода только для чтения. Согласно Википедии, они эквивалентны DFA, хотя эквивалентный DFA может быть экспоненциально больше. Я обнаружил сложность состояний для их дополнений и пересечений, но не для их проверки …

12 complexity-theory  formal-languages  reference-request  automata  finite-automata