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

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

43 np-hardness  fl.formal-languages  lg.learning  regular-expressions 

Запитайте навіть у когось із досвіду інформатики, що таке регулярне вираження, і відповідь, ймовірно, вийде за межі обмеження бути в межах досяжності автоматики з кінцевими станами. Наприклад, "регулярний вираз" /^1?$|^(11+?)\1+$/ створений відомою особистістю Perl Abigail (і частина тестового набору Perl з 2002 року) описує машину, яка приймає лише складені одинарні …

36 automata-theory  pl.programming-languages  fl.formal-languages  regular-expressions  terminology 

Добре відомо, що регулярний вираз можна розпізнати за недетермінованим кінцевим автоматом розміром, пропорційним регулярному виразу, або детермінованим ФА, який потенційно є експоненціально більшим. Крім того, з огляду на рядок та регулярний вираз r , NFA може перевірити приналежність у часі, пропорційному | s | ⋅ | r | , і …

30 fl.formal-languages  automata-theory  regular-expressions 

Мені було цікаво, чи є алгоритм `` кращого '' (я поясню в якому сенсі) алгоритм, який слід починати з DFA і будувати регулярний вираз r такий, що L ( A ) = L ( r ) , ніж той, що в книга Хопкрофта та Улмана (1979). Там множини R k …

28 fl.formal-languages  automata-theory  regular-expressions 

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

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

Окрім (детермінованої) складності зв'язку відношення R , ще одним основним показником кількості необхідного зв'язку є номер розділу протоколу p p ( R ) . Зв'язок між цими двома заходами відомий до постійного чинника. Монографія Кушилевіца і Нісана (1997) даєc c ( R )cc(R)cc(R)RRR p p ( R )pp(R)pp(R) c c …

22 fl.formal-languages  lower-bounds  open-problem  regular-expressions  communication-complexity 

Загальновідомо, що наступна проблема є повною для PSPACE: За умови регулярного виразу , чи ?ββ\betaL ( β) = Σ∗L(β)=Σ∗L(\beta) = \Sigma^* А як щодо визначення еквівалентності іншим (нерухомим) регулярним виразам ?αα\alpha За умови регулярного вираження , чи ?ββ\betaL ( β) = L ( α )L(β)=L(α)L(\beta) = L(\alpha) Відомо наступне: Для …

21 cc.complexity-theory  automata-theory  regular-expressions  pspace 

Більшість сучасних реалізацій регулярних виразів, таких як perl або .NET, виходять за рамки класичного визначення інформатики REGEXes з такими функціями, як lookahead та lookbehind. Чи дозволяють ці функції розбирати оператори, які неможливо описати за допомогою кінцевого автоматичного автоматичного автоматичного відключення? Наскільки ближче до цірінга завершує це, якщо вони можуть?

19 automata-theory  regular-expressions  fl.formal-languages 

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

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

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

16 dfa  regular-expressions  bounds 

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

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

(Узагальнена) висота зірки мови - це мінімальне вкладення зірок Клейна, необхідних для представлення мови розширеним регулярним виразом. Нагадаємо, що розширений регулярний вираз над скінченним алфавітом задовольняє наступному:АAA (1) і a - це розширені регулярні вирази для всіх a ∈ A∅ , 1∅,1\emptyset, 1аaaa ∈ Aa∈Aa\in A (2) Для всіх розширених …

15 fl.formal-languages  lower-bounds  regular-expressions 

Чи є якась відома «приємна» ієрархія L0⊆L1⊆L2⊆…L0⊆L1⊆L2⊆…L_0 \subseteq L_1 \subseteq L_2 \subseteq \dots (може бути скінченною) всередині класу регулярних мов LLL ? Приємно, що класи в кожній ієрархії захоплюють різну виразність / силу / складність. Також приналежність до кожного класу "добре" демонструється деякими елементами (на відміну від висоти зірки, яка …

14 automata-theory  regular-language  regular-expressions 

Натхненний цим питанням , мені цікаво таке: Яка найгірша складність перевірки того, чи приймається дана DFA тією ж мовою, що й заданий регулярний вираз? Це відомо? Будемо сподіватися, що ця проблема є в P - що існує поліном алгоритму розміром обох.

12 automata-theory  lg.learning  regular-expressions  dfa 

Мене цікавить класична проблема РЕГУЛЯЦІЙНЕ ВКЛЮЧЕННЯ МОВИ. Давши регулярний вираз EЕE , позначимо через L(E)L(E)L(E) звичайну мову, пов'язану з ним. (Регулярні вирази знаходяться на фіксованому алфавіті ΣΣ\Sigma , з об'єднанням операцій, зіркою Kleene та конкатенацією.) Введення: Два регулярні вирази і E 2 Питання: Чи правда, що L ( E 1 …

11 cc.complexity-theory  reference-request  regular-language  parameterized-complexity  regular-expressions