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

Я пересматривал Теорию вычислений для забавы, и этот вопрос меня мучил некоторое время (забавно, никогда не думал об этом, когда я изучал Теорию автоматов в моем старшекурснике). Итак, «почему» мы точно изучаем детерминированные и недетерминированные конечные автоматы (DFA / NFAs)? Итак, вот некоторые ответы, которые я придумал после ответа, но …

247 fl.formal-languages  automata-theory  big-picture  teaching  dfa 

После изучения детерминированных конечных автоматов (DFA) в старшекурснике, я почувствовал, что они очень хорошо поняты. Мой вопрос: есть ли что-то, чего мы до сих пор не понимаем в них. Я имею в виду не обобщения ДФА, а исходные немодифицированные ДФА, которые мы изучаем в старшекурсниках. Это неопределенный вопрос, но я …

59 soft-question  open-problem  dfa 

Пересечение двух (минимальных) DFA с n состояниями может быть вычислено с использованием O (n 2 ) времени и пространства. В общем, это оптимально, поскольку результирующий (минимальный) DFA может иметь n 2 состояний. Однако, если результирующий минимальный DFA имеет z состояний, где z = O (n), можно ли его вычислить в …

25 automata-theory  dfa 

Учитывая две строки x и y, я хочу создать DFA минимального размера, который принимает x и отклоняет y. Один из способов сделать это - перебор. Вы перечисляете DFA, начиная с самого маленького. Вы пробуете каждый DFA, пока не найдете тот, который принимает x и отклоняет y. Я хочу знать, есть …

23 automata-theory  dfa  fsm 

Для фиксированного конечного алфавита , формальный язык над является регулярным , если существует детерминированный конечный автомат (ДКА) над , которая принимает ровно .L ΣΣΣ\SigmaLLLΣΣ\SigmaLΣΣ\SigmaLLL Я интересуюсь языками, которые «почти» регулярны в том смысле, что они могут распознаваться автоматическими семействами размеров, которые растут только полиномиально с длиной слова. Формально, позвольте мне …

23 reference-request  fl.formal-languages  automata-theory  online-algorithms  dfa 

Вопрос прост и прям: для фиксированного , сколько (разных) языков принято DFA размером n (то есть nnnnnnnnnn состояний)? Я официально заявлю это: Определите DFA как , где все как обычно и δ : Q × Σ → Q (возможно, частичная) функция. Нам нужно установить это, поскольку иногда только полные функции …

19 co.combinatorics  fl.formal-languages  automata-theory  regular-language  dfa 

Можно ли алгоритмически проверить, является ли вычисляемое число рациональным или целым? Другими словами, возможно ли для библиотеки, которая реализует вычислимые числа, предоставлять функции isIntegerили isRational? Я предполагаю, что это невозможно, и что это как-то связано с тем, что невозможно проверить, равны ли два числа, но я не вижу, как это …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

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

16 cc.complexity-theory  fl.formal-languages  automata-theory  dfa 

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

16 dfa  regular-expressions  bounds 

Фон: Учитывая два детерминированных конечных автомата A и B, мы формируем произведение C, позволяя состояниям в C быть декартовым произведением состояний в A и состояний в B. Затем мы выбираем переходы, начальное состояние и конечные состояния, так что язык, принятый C является пересечением языков для A и B. Вопросов: (1) …

15 fl.formal-languages  automata-theory  dfa 

Одна из интересных открытых проблем о DFA, перечисленных в разделе. Есть ли еще какие-либо открытые проблемы о DFA? размер DFA, необходимый для разделения двух строк длины . Мне любопытно, есть ли какие-либо результаты о способности случайного DFA разделять две заданные (неслучайные) строки.nNn Очевидно, что случайный DFA с достаточным количеством состояний …

15 dfa  random-graphs 

Известно, что минимизация размера регулярного выражения является PSPACE-полной, даже если у нас есть DFA в качестве спецификации языка . Каковы результаты, если язык конечен? Можно рассмотреть эту проблему в двух моделях: Входные данные - это все строки в языке, и мы измеряем размер ввода как сумму длины всех строк. Входные …

15 cc.complexity-theory  reference-request  fl.formal-languages  regular-expressions  dfa 

У меня действительно большой недетерминированный конечный автомат, и мне нужно преобразовать его в DFA. По большому счету я имею в виду более 40 000 штатов. До сих пор я провел несколько экспериментов и запрограммировал алгоритм по умолчанию, который выполняет поиск в таблице (как описано здесь ), но даже после оптимизации …

12 dfa 

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

12 automata-theory  lg.learning  regular-expressions  dfa 

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

11 automata-theory  regular-expressions  dfa