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

Це наступне питання цього . У попередньому запитанні про екзотичні державні машини Алекс десять Брінк та Рафаель зверталися до обчислювальних можливостей своєрідного державного машинного апарату: автоматизованих міні-купи. Вони змогли показати, що набір мов, прийнятих такими машинами ( ), не є ні підмножиною, ні надмножиною набору без контекстних мов. Враховуючи успішне …

15 formal-languages  automata  nondeterminism 

Зазвичай я використовую символ для порожнього рядка (порожнє слово або нульовий рядок). Але я знаю, що деякі люди використовують замість .εε\varepsilonλλ\lambdaεε\varepsilon Я думаю, що походить від слова "Порожня". Однак я не знаю, яке походження .εε\varepsilonλλ\lambda У теорії автоматів існує епсилонний перехід автоматів, а також його називають лямбда-переходом. Наприклад, програмне забезпечення …

14 formal-languages  automata  reference-request  notation  history 

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

14 automata  pushdown-automata  nondeterminism 

Я виявив, що якщо я не розумію етимологію, що стоїть за терміном cs / програмування, це зазвичай означає, що я пропустив або неправильно зрозумів якусь важливу основоположну концепцію. Я не розумію, чому зірку Кліна ще називають закриттям Кліна. Чи пов’язано це із закриттями в програмуванні, функцією із зв'язаними не локальними …

14 automata  regular-expressions 

Я програміст із захопленням на автоматах, але не на логіці. Я читав у документах, що вони дуже тісно пов'язані. Детерміновані кінцеві автомати (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 

Апропоа на пропозицію Рафаеля про перетин двох NPDA : Нехай і A 2 NPDA для без контекстних мов L 1 і L 2 відповідно. Припускаючи, що ми знаємо, що L = L 1 ∩ L 2 без контексту, чи можемо ми (ефективно) побудувати NPDA A для L ?А1A1A_1А2A2A_2L1L1L_1L2L2L_2L = L1∩ …

13 computability  automata  pushdown-automata 

Я читав у Вікіпедії та деякі інші тексти, які Проблема зупинки вирішується [...] для лінійно обмежених автоматів (LBA) [та] детермінованих машин з обмеженою пам'яттю. Але раніше було написано, що проблема зупинки - це не визначена проблема, і тому TM не може її вирішити! Оскільки LBA визначені як тип ТМ, чи …

13 turing-machines  automata  undecidability  halting-problem  linear-bounded-automata 

Чи існує якийсь природний чи помітний спосіб зв’язати чи зв’язати математичні групи та формальні мови CS чи якусь іншу основну концепцію CS, наприклад, машини Тьюрінга? Шукаю посилання / програми. Однак зауважте, що мені відомо про зв’язок між напівгрупами та мовами CS (а саме через обмежені автомати ). (Чи ця література …

13 formal-languages  reference-request  automata  discrete-mathematics  group-theory 

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

12 automata  formal-grammars  regular-expressions 

На малюнку нижче я намагаюся зрозуміти, що саме приймає ця 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 дуже просто. Однак, коли я хочу використовувати цей DFA для імітації TM, …

12 formal-languages  computability  regular-languages  turing-machines  automata 

Отже, я знаю, що тестування, якщо звичайна мова є підмножиною звичайної мови , вирішується, оскільки ми можемо конвертувати їх як у DFA, обчислити , а потім перевірити, чи ця мова порожня.S R ∩ ˉ SRRRSSSR ∩ S¯R∩S¯R \cap \bar{S} Однак, оскільки це вимагає перетворення на DFA, можливо, що DFA, і, …

12 algorithms  regular-languages  automata  np-complete  decision-problem