Запитання з тегом «automata-theory»

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

Розглянемо мову 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 

Я працюю над проблемою, заданою для класу, і продумав питання, пов’язане з тим, над чим працював. Чи існує мінімальна кількість станів, яку повинен мати кінцевий автомат, щоб прийняти двійкові рядки, що представляють числа, що діляться на ціле число n? У попередньому наборі проблем я зміг побудувати DFA, який приймав двійкові …

18 automata-theory 

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

17 context-free  automata-theory  reference-request 

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 

В теорії автоматів (кінцеві автомати, пушдауд-автомати, ...) і в складності існує поняття "неоднозначність". Автомат неоднозначний, якщо є слово www з принаймні двома чітко прийнятими прогонами. Машина kkk неоднозначна, якщо для кожного слова wшw прийнятого машиною, існує максимум kkk різних чітких циклів, щоб прийняти www . Це поняття також визначається в …

17 lo.logic  automata-theory  regular-language  nondeterminism  finite-model-theory 

Мене цікавлять властивості довільно спрямованих графіків з фіксованою поза-ступеневоюddd . Я уявляю випадкову модель графа, де кожна вершина вибирає d сусідів (скажімо, із заміною) uar Питання : Чи відомо про стаціонарний час розподілу та змішування випадкових прогулянок на цих випадкових графах (для різних значень )? ddd Мене особливо цікавить випадок, …

17 graph-theory  co.combinatorics  automata-theory  random-walks 

Теорема Савича показує, що для всіх досить великих функцій fNSPACE(f(n))⊆DSPACE(f(n)2)NSPACE(f(n))⊆DSPACE(f(n)2)\mathrm{NSPACE}(f(n)) \subseteq \mathrm{DSPACE}(f(n)^2)fff , а доведення, що це щільно, є відкритою проблемою протягом десятиліть . Припустимо, ми підійдемо до проблеми з іншого кінця. Для простоти припустімо булеву абетку. Обсяг простору, який використовується ТМ для визначення обчислювальної мови, часто тісно пов'язаний з …

16 cc.complexity-theory  automata-theory  space-bounded  space-complexity 

У формальному описі детермінованих Pushdown Automata вони дозволяють переходити , де машина може виводити або натискати символи на стек, не читаючи символ із вводу. Якщо ці переміщення не дозволені, і стек можна змінити лише один раз після кожного зчитування символу, чи отримані автомати дорівнюють потужності DPDA?ϵϵ\epsilonϵϵ\epsilon Можливо, є щось тривіальне, …

16 automata-theory  context-free 

Ми говоримо, що NFA є постійно неоднозначним, якщо існує такий, що будь-яке слово приймається або або (точно) шляхами.k ∈ N w ∈ Σ ∗ 0 kMMMk∈Nk∈Nk\in \mathbb{N}w∈Σ∗w∈Σ∗w\in \Sigma^*000kkk Якщо автомат постійно неоднозначний при , то називається однозначним FA (UFA).k = 1 MMMMk=1k=1k=1MMM Нехай - звичайна мова.LLL Чи може деякий постійно …

16 complexity-classes  fl.formal-languages  automata-theory  regular-language 

Однозначні кінцеві автомати (UFA) - це особливий тип недетермінованих кінцевих автоматів (NFA). NFA називається однозначним, якщо кожне слово має щонайменше один приймаючий шлях.w∈Σ∗w∈Σ∗w\in \Sigma^* Це означає .DFA⊂UFA⊂NFADFA⊂UFA⊂NFADFA\subset UFA\subset NFA Відомі пов'язані результати автоматики: Мінімізація NFA завершена PSPACE. Мінімізація NFA на обмежених мовах є DP-Hard . Мінімізація UFA завершена NP . …

16 cc.complexity-theory  fl.formal-languages  automata-theory  regular-language 

Мені цікаво, чи існують документи чи дослідження, що займаються видимими автоматичними витисканнями, але дозволяють слова, а не однієї літери, висуватися на стек. Крім того, конструкція, яка дозволила натискати символи на -переходи, могла досягти тієї ж мети.ϵϵ\epsilon Очевидно, що такі зміни можуть бути сформовані, але мені цікаво, чи це руйнує властивості …

16 reference-request  fl.formal-languages  automata-theory  context-free  context-free-languages 

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

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