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

Перетин контекстної вільної мови L із звичайною мовою M, як кажуть, завжди вільний від контексту. Я зрозумів переконливі конструкції продукту, але все ще не розумію, чому це контекстно, але не регулярно. Мова, породжена таким перетином, має рядки, які приймаються як PDA, так і DFA. Оскільки його приймає DFA, чи не …

16 regular-languages  context-free  finite-automata  formal-grammars 

Алгоритм мінімізації DFA Бжозовського будує мінімальний DFA для DFA GGG шляхом: перевернути всі ребра в GGG , перетворивши початковий стан у стан прийняття, а стан прийняття - початковий, щоб отримати NFA N′N′N' для зворотної мови, використовуючи побудову живлення, щоб отримати G′G′G' для зворотної мови, обернення ребер (і початковий прийняття підкачки) …

16 algorithms  finite-automata  runtime-analysis 

Нещодавно було задано цікаве запитання та згодом його видалили. Для звичайної мови LLL її складність DFA - це розмір мінімальної DFA, що приймає її, а її складність NFA - це розмір мінімальної NFA, що приймає її. Загальновідомо, що між двома складностями існує експоненціальне розділення, принаймні, коли розмір алфавіту не обмежений. …

15 regular-languages  finite-automata 

Давши мову LLL , визначте набір довжини LLL як набір довжин слів у LLL : LS(L)={|u|∣u∈L}LS(L)={|u|∣u∈L}\mathrm{LS}(L) = \{|u| \mid u \in L \} Які набори цілих чисел можуть бути набором довжин звичайної мови?

15 formal-languages  computability  regular-languages  finite-automata 

Я маю на увазі це [якесь смішне] питання. Чому недетермінований кінцевий автомат називається недетермінованим, поки ми визначаємо переходи для входів. Ну, хоча існують множинні та епсилонні переходи, вони визначені, що означає, що машина є детермінованою для цих переходів. Що означає, що це детерміновано.

14 finite-automata  nondeterminism 

Дано алфавіт , скільки різних регулярних мов може бути прийнято -державним недетермінованим кінцевим автоматом?Σ={a,b}Σ={a,b}\Sigma = \{ a,b \}nnn В якості прикладу розглянемо . Потім у нас є різних конфігурацій переходу та різних конфігурацій стартового та кінцевого стану, тому у нас є верхня межа різних мов. Однак багато з них будуть …

14 formal-languages  regular-languages  finite-automata  combinatorics 

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

14 complexity-theory  finite-automata  nondeterminism 

Хочу знати, чи вирішується наступна проблема: Примірник: NFA A з n станами Питання: Чи існує якесь просте число p таке, що A приймає деякий рядок довжиною p. Я вважаю, що ця проблема не може бути вирішена, але я не можу її довести. Рішення може легко створити алгоритм, щоб визначити, чи …

14 computability  finite-automata 

Я програміст із захопленням на автоматах, але не на логіці. Я читав у документах, що вони дуже тісно пов'язані. Детерміновані кінцеві автомати (DFA), автомати дерев і автоматичні видимі поштовхи відносяться до Monadic логіки другого порядку (MSO). Хоча, я розумію, автомати і люди (в паперах) намагалися пояснити ставлення до МСО до …

14 automata  finite-automata  logic  coq  automated-theorem-proving 

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

13 formal-languages  terminology  automata  finite-automata  formal-grammars 

Завтра - моя презентація, і я хочу прояснити свої концепції ... Я прочитав, що в DFA "Для кожного стану слід визначити перехід усіх можливих символів (алфавіту)". Чи обов'язкове для кожної держави визначення переходу на всі можливі символи в DFA? Якщо її немає, то, будь ласка, наведіть будь-які приклади?

13 automata  finite-automata  nondeterminism 

Я щойно почав читати про теорію обчислення. Якщо порівняти, який є більш потужним (у прийнятті рядків), обидва однакові. А як щодо ефективності? DFA буде швидким порівняно з NFA, оскільки він має лише один вихідний край, і не буде двозначності. Але у випадку з NFA ми повинні перевірити всі можливі випадки, …

13 finite-automata  efficiency  nondeterminism 

На малюнку нижче я намагаюся зрозуміти, що саме приймає ця NFA. Що мене бентежить - стрибок у .ϵϵ\epsilonq0q0q_0 Якщо введено , чи система переходить до та (стан прийняття)?000q0q0q_0 q1q1q_1 Якщо введено , чи система переміщується як на і на ?111q1q1q_1q2q2q_2 Чи переходить система лише до (прийняти стан), якщо не вказано …

12 automata  finite-automata  nondeterminism 

Мета - створити DFA з регулярного виразу, а використання "Regular exp> NFA> DFA convert" - це не варіант. Як слід робити це? Я задав це питання нашому професору, але він сказав мені, що ми можемо використовувати інтуїцію, і люб'язно відмовився давати будь-які пояснення. Тож я хотів вас запитати. "Регулярний досвід> …

12 automata  finite-automata  regular-expressions  simulation 

Мені цікаво, у чому полягає складність часу визначення порожнечі для двосторонніх ДФА? Тобто, кінцеві автомати, які можуть рухатись назад на вхідній стрічці лише для читання. Згідно з Вікіпедією, вони еквівалентні DFA, хоча еквівалентний DFA може бути експоненціально більшим. Я виявив складність держави для їх доповнення та перехрестя, але не для …

12 complexity-theory  formal-languages  reference-request  automata  finite-automata