Запитання з тегом «regular-language»

У передмові до своїх дуже впливових книг «Автомати, мови та машини» (Томи А, Б) Самуель Ейленберг достойно обіцяв томи С і Д, що стосуються «ієрархії (званої раціональної ієрархії) нераціональних явищ ... використовуючи раціональні відносини як інструмент для порівняння. Раціональні множини знаходяться в нижній частині цієї ієрархії. Рухаючи вгору, зустрічається "алгебраїчні …

31 soft-question  fl.formal-languages  automata-theory  regular-language  context-free 

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

27 regular-expressions  regular-language  ho.history-overview 

Ми визначаємо звичайну мову дерев, як у книзі TATA : Це набір дерев, прийнятих недетермінованим кінцевим автоматичним деревом (глава 1), або, що еквівалентно, набір дерев, породжених звичайною граматикою дерев (глава 2). Обидва формалізму мають велику схожість з відомими струнними аналогами. Чи існує звичайна мова дерева, в якій середня висота дерева …

26 co.combinatorics  fl.formal-languages  tree  regular-language 

З огляду на звичайну мову (NFA, DFA, граматику чи регулярний вираз), як можна підрахувати кількість прийнятих слів на даній мові? Представляють інтерес як «з рівно n літерами», так і «з максимум n літерами». У Маргарети Акерман є дві статті на відповідну тему перерахування слів, прийнятих у НФА, але я не …

26 ds.algorithms  co.combinatorics  fl.formal-languages  regular-language 

Нехай L1,L2L1,L2L_1,L_2 - дві регулярні мови, задані NFA як вхідні дані.M1,M2M1,M2M_1,M_2 Припустимо, ми хотіли б перевірити, чи . Це однозначно можна зробити за допомогою квадратичного алгоритму, який обчислює автоматику виробів , але мені було цікаво, чи відомо щось більш ефективне.L1∩L2≠∅L1∩L2≠∅L_1\cap L_2\neq \emptysetM1,M2M1,M2M_1,M_2 Чи існує алгоритм для визначення, чи буде ? …

23 ds.algorithms  automata-theory  regular-language  nondeterminism 

Я фіксуємо регулярний мову на алфавіті , і я вважаю таку проблему , яку я називаю лист планування для . Неофіційно введення дає мені літер та інтервал для кожної літери (тобто мінімальне та максимальне положення), і моя мета - розмістити кожну букву в її інтервалі таким чином, щоб жодна з …

23 cc.complexity-theory  np-hardness  automata-theory  regular-language  scheduling 

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

21 fl.formal-languages  regular-language  ct.category-theory 

Враховуючи регулярні вирази , чи є нетривіальні межі щодо розміру найменшої без контексту граматики для R 1 ∩ ⋯ ∩ R n ?R1,…,RnR1,…,RнR_1, \dots, R_nR1∩⋯∩RnR1∩⋯∩RнR_1 \cap \cdots \cap R_n

20 fl.formal-languages  regular-language  context-free 

Нехай REGREG\mathsf{REG} - клас усіх регулярних мов. Відомо AC0⊄REGAC0⊄REG\mathsf{AC}^0 \not\subset \mathsf{REG} та REG⊄AC0REG⊄AC0\mathsf{REG} \not\subset \mathsf{AC}^0 . Але чи є характеристика для мов у AC0∩REGAC0∩REG\mathsf{AC}^0 \cap \mathsf{REG} ?

20 circuit-complexity  regular-language 

Визначте наступний клас "кругових" мов над кінцевим алфавітом Sigma. Власне, назва вже існує для позначення іншої речі, яку, здається, використовується в галузі обчислення ДНК. AFAICT, це інший клас мов. Мова L - круговий iff для всіх слів у , ми маємо:w Σ ∗wwΣ∗\Sigma^* шww належить L, якщо і тільки якщо …

20 fl.formal-languages  automata-theory  regular-language 

Питання є простим і прямим: для фіксованого , скільки (різних) мов приймається DFA розміром (тобто держав)? Я офіційно зазначу це:nnnnnnnnn Визначте DFA як , де все як завжди, і δ : Q × Σ → Q є (можливо, частковою) функцією. Нам потрібно це встановити, оскільки іноді лише загальні функції вважаються …

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

Мені було цікаво, чи специфіка JSON визначає звичайну мову. Це здається досить простим, але я не впевнений, як це довести сам. Причина, яку я запитую, полягає в тому, що мені було цікаво, чи можна використовувати регулярні вирази для ефективного розбору JSON. Чи міг би хтось із достатньою кількістю представників створити …

19 fl.formal-languages  regular-expressions  regular-language 

Розглянемо мову L k - d i s t i n c t,Lk−distinctL_{k-distinct} що складається з усіх kkk -рядних рядків над ΣΣ\Sigma таким чином, що жодна дві літери не дорівнює: L k - d i s t i n c t : = { w = σ 1 σ 2 …

18 automata-theory  lower-bounds  regular-language  communication-complexity  streaming 

Чи можливо алгоритмічно перевірити, чи є обчислюване число раціональним чи цілим? Іншими словами, чи можливо бібліотеці, яка реалізує обчислювані числа, надавати функції 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 

Контекст: відносини між логікою та автоматами Теорема Бючі говорить, що логіка Монадичного другого порядку над рядками (MSO) захоплює клас регулярних мов. Доказ фактично показує, що екзистенціальної MSO ( або EMSO ) над рядками достатньо для захоплення звичайних мов. Це може бути трохи дивно, оскільки для загальних структур MSO суворо виражає, …

17 reference-request  lo.logic  regular-language  finite-model-theory