Запитання з тегом «dfa»

Я переглядаю Теорію обчислень для розваги, і це питання мене натякало на деякий час (смішно ніколи про це не замислювався, коли я вивчив Теорію автоматів у своєму недограді). Тож "чому" ми саме вивчаємо детерміновані та недетерміновані кінцеві автомати (DFA / NFA)? Ось ось кілька відповідей, які я придумав після розмови, …

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

Вивчивши детерміновані автомати з кінцевим станом (DFA) у підградці, я відчув, що вони надзвичайно добре розуміються. Моє питання - чи є щось, що ми досі не розуміємо в них. Я не маю на увазі узагальнення DFA, але оригінальні немодифіковані DFA, які ми вивчаємо в недограді. Це неясне запитання, але я …

59 soft-question  open-problem  dfa 

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

25 automata-theory  dfa 

З огляду на два рядки x і y, я хочу створити DFA мінімального розміру, який приймає x і відхиляє y. Один із способів зробити це - жорстокий пошук. Ви перераховуєте DFA, починаючи з найменшого. Ви спробуйте кожен DFA, поки не знайдете той, який приймає х і відхиляє y. Я хочу …

23 automata-theory  dfa  fsm 

Для фіксованого кінцевого алфавіту , формальний мову над є регулярним , якщо існує детермінований кінцевий автомат (ДКА) над , яка приймає рівно .ΣΣ\SigmaLLLΣΣ\SigmaΣΣ\SigmaLLL Мене цікавлять мови, які «майже» регулярні, в тому сенсі, що їх можна розпізнати за допомогою сімейства автоматизованих розмірів, що зростає лише поліноміально з довжиною слова. Формально, дозвольте …

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

Питання є простим і прямим: для фіксованого , скільки (різних) мов приймається DFA розміром (тобто держав)? Я офіційно зазначу це:nnnnnnnnn Визначте 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 

Існують теоретичні докази того, що наївна декартово-продуктова конструкція для перетину ДФА - "найкраще, що ми можемо зробити". А як щодо об'єднання двох DFA? Тривіальна конструкція передбачає перетворення кожної DFA в NFA, додавання епсилонного переходу та визначення результуючої NFA. Чи можемо ми зробити краще? Чи відомо про обмеження розміру мінімальної конкатенації …

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

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

16 dfa  regular-expressions  bounds 

Фон: Враховуючи два детерміновані кінцеві автомати A і B, ми формуємо добуток C, дозволяючи станам в C бути декартовим продуктом станів в A, а станів у В. Тоді ми вибираємо переходи, початковий стан і кінцевий стан, так що мова, прийнята C - перетин мов для A і B. Запитання: (1) …

15 fl.formal-languages  automata-theory  dfa 

Одна з цікавих відкритих проблем щодо DFA, перелічених у розділі Чи є якісь відкриті проблеми щодо DFA? - розмір DFA, необхідний для розділення двох рядків довжиною nnn . Мені цікаво, чи є якісь результати щодо здатності випадкової DFA розділяти дві задані (не випадкові) рядки. Очевидно, що випадкова DFA з достатньо …

15 dfa  random-graphs 

Відомо, що мінімізація розміру регулярного виразу є повною PSPACE, навіть якщо у нас є специфікація DFA . Які результати, якщо мова кінцева? Цю проблему можна розглядати у двох моделях: Вхід - це всі рядки в мові, і розмір введення вимірюємо за сумою довжини всіх рядків. Вхід є 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