Запитання з тегом «fl.formal-languages»

Основне / загальне питання Нехай - мова. Визначте мови допомогою і для . Розглянемо . Отже, ми неодноразово «вбудовували» у себе, щоб отримати .L I L 0 = L L я = { х ш у : х у ∈ L я - 1 , W ∈ L } я …

19 reference-request  fl.formal-languages 

Я нещодавно мав дискусію про машини Тюрінга, коли мене запитали: "Машина Тьюрінга походить від автоматів чи це навпаки"? Я, звичайно, не знав відповіді, але мені цікаво це дізнатись. Машина Тьюрінга - це, в основному, трохи більш вдосконалена версія Push-Down Automata. З цього я б припустив, що машина Тьюрінга походить від …

19 fl.formal-languages  computability  automata-theory  turing-machines  ho.history-overview 

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

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

DFA має слово синхронізації, якщо є рядок, який передає будь-який стан DFA в один стан. У статті "Черні для аперіодичних автоматів" А.Н. Трахтмана (дискретна математика та теоретичні інформатики, т. 9: 2, 2007, с. 3-10) він написав: У 1964 р. Черні припустив, що кожен DF-станція, що синхронізує n-стан, має синхронізуюче слово …

19 fl.formal-languages  automata-theory  open-problem  synchronization 

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

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

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

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

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

18 fl.formal-languages  decidability 

Я намагаюся вирішити конкретну проблему, і я подумав, що, можливо, вдасться вирішити її за допомогою теорії автомати. Мені цікаво, які моделі автоматів мають обмежувальний вміст, який можна вирішити в поліноміальний час? тобто якщо у вас є машини M1,M2M1,M2M_1, M_2 ви можете перевірити, чи ефективно L(M1)⊆L(M2)L(M1)⊆L(M2)L(M_1) \subseteq L(M_2) . Очевидними з …

18 fl.formal-languages  automata-theory  time-complexity  polynomial-time  decidability 

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

Існує безліч алгоритмів, які можуть розібрати без контексту граматику за час . Використовуючи матричне множення, можна навіть пройти асимптотично швидше.О ( н.)3)О(н3)O(n^3) Однак усі алгоритми для розбору довільних CFG, які я знаю, мають найгірший простір у використанні простору (хоча, правда, я не маю поняття, що таке використання простору цього алгоритму …

18 ds.algorithms  fl.formal-languages  space-bounded  parsing  context-free 

Це переформулювання програми граматики? попередній запитував Ваг і з багатьма пропозиціями від коментаторів. Яким чином граматика може розглядатися як зазначена модель обчислення? Якщо, наприклад, ми візьмемо просту без контексту граматику, таку як G ::= '1' -> '0' '+' '1' '1' -> '1' '+' '0' '2' -> '2' '+' '0' '2' …

18 fl.formal-languages  pl.programming-languages  grammars  universal-computation 

Метод похідних Бржозовського є дуже гарною технікою побудови детермінованих автоматів з регулярних виразів на приємно алгебраїчний спосіб. Я розробив декілька симпатичних узагальнень цієї техніки для обробки деяких великих класів граматик, але алгоритми досить прості, що здається цілком можливим, що вони були виявлені раніше. Але посилання на Гуглінг нащадків цієї методики, …

18 reference-request  fl.formal-languages  parsing 

Слово www називається примітивним , якщо немає слова vvv і k > 1,k>1k > 1 так що w = v kw=vkw = v^k . Множина QQQ усіх примітивних слів над алфавітом ΣΣ\Sigma - добре відома мова. WLOG ми можемо вибрати Σ = { a , b }Σ={a,b}\Sigma = \{ a,b …

17 fl.formal-languages 

2dca (двосторонні детерміновані одноконтрастні автомати) (Petersen, 1994) може розпізнати таку одинарну мову: П О Ш E R ={ 02н∣ n ≥ 0 } .ПОWЕR={02н∣н≥0}.\begin{equation} \mathtt{POWER} = \lbrace 0^{2^n} \mid n \geq 0 \rbrace. \end{equation} Чи є інша нетривіальна одинарна мова, визнана 2dca? Зауважте, що досі невідомо, чи можуть 2dca розпізнати …

17 fl.formal-languages  automata-theory  counter-automata 

Багато років тому я чув, що обчислення мінімальної NFA (недетермінований кінцевий автомат) від DFA (детермінованої) було відкритим питанням, на відміну від навпаки напрямку, яке було відоме десятиліттями і добре досліджене з ефективним алгоритм. Хтось придумав алгоритм?О ( п лгn )О(нlg⁡н)O(n \lg n) Швидкий пошук дав мені цей документ, який доводить, …

17 ds.algorithms  reference-request  fl.formal-languages  automata-theory  optimization