Вопросы с тегом «automata»

Это дополнительный вопрос этого . В предыдущем вопросе об экзотических конечных автоматах Алекс тен Бринк и Рафаэль обратились к вычислительным возможностям особого вида конечного автомата: автоматов с минимальной кучей. Они смогли показать, что множество языков, принятых на таких машинах ( ), не является ни подмножеством, ни надмножеством набора языков без …

15 formal-languages  automata  nondeterminism 

Я обычно использую символ для пустой строки (пустое слово или нулевая строка). Но я знаю, что некоторые люди используют λ вместо ε .εε\varepsilonλλ\lambdaεε\varepsilon Я думаю, что происходит от слова «пустой». Однако я не знаю, каково происхождение λ .εε\varepsilonλλ\lambda В теории автоматов существует эпсилон-переход автоматов, и он также называется лямбда-переходом. Например, …

14 formal-languages  automata  reference-request  notation  history 

Я понимаю, что недетерминированные автоматы нажатия могут быть улучшением по сравнению с детерминированными, поскольку они могут «выбирать» из нескольких состояний, и есть некоторые контекстно-свободные языки, которые не могут быть приняты детерминированным выпуском. Все-таки я не понимаю, как именно они «выбирают». Например, для палиндорм каждый источник, который я нашел, просто говорит, …

14 automata  pushdown-automata  nondeterminism 

Я программист с автоматом, но не с логикой. Я читал в газетах, что они очень тесно связаны. Детерминированные конечные автоматы (DFA), древовидные автоматы и автоматы видимого нажатия - все они связаны с монадической логикой второго порядка (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 

Я обнаружил, что если я не понимаю этимологию термина «cs / программирования», это обычно означает, что я пропустил или неправильно понял какую-то важную базовую концепцию. Я не понимаю, почему звезду Клини также называют закрытием Клини. Связано ли это с замыканиями в программировании, функцией со связанными нелокальными переменными? ... если задуматься, …

13 automata  regular-expressions 

По поводу предложения Рафаэля о пересечении двух NPDA : Пусть и A 2 NPDA для контекстно-свободных языков L 1 и L 2 соответственно. Предполагая, что мы знаем, что L = L 1 ∩ L 2 не зависит от контекста, можем ли мы (эффективно) построить NPDA A для L ?A1A1A_1A2A2A_2L1L1L_1L2L2L_2L = …

13 computability  automata  pushdown-automata 

Я читал в Википедии и некоторых других текстах, которые Проблема остановки [...] разрешима для линейных ограниченных автоматов (LBA) [и] детерминированных машин с конечной памятью. Но ранее было написано, что проблема остановки - неразрешимая проблема, и поэтому TM не может ее решить! Так как LBA определены как тип TM, разве это …

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 

Цель состоит в том, чтобы создать DFA из регулярного выражения, и использование «Regular exp> NFA> DFA преобразование» не вариант. Как это сделать? Я задал этот вопрос нашему профессору, но он сказал мне, что мы можем использовать интуицию, и любезно отказался дать какие-либо объяснения. Поэтому я хотел спросить вас. «Преобразование регулярного …

12 automata  finite-automata  regular-expressions  simulation 

На картинке ниже я пытаюсь понять, что именно принимает этот NFA. Что меня смущает, так это прыжок на .q 0εϵ\epsilonQ0q0q_0 Если введен , система переместится в и (состояние принятия)?q 0 q 1000Q0q0q_0 Q1q1q_1 Если введено , система переместится на и ?q 1 q 2111Q1q1q_1q2q2q_2 Переходит ли система только в (состояние …

12 automata  finite-automata  nondeterminism 

Вот проблема: Докажите, что одноленточные машины Тьюринга, которые не могут писать на той части ленты, которая содержит входную строку, распознают только обычные языки. Моя идея состоит в том, чтобы доказать, что этот конкретный TM эквивалентен DFA. Использовать эту ТМ для симуляции DFA очень просто. Однако, когда я хочу использовать этот …

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

Итак, я знаю, что проверка того, является ли обычный язык рRR подмножеством обычного языка SSS , разрешима, поскольку мы можем преобразовать их оба в DFA, вычислить R ∩ S¯R∩S¯R \cap \bar{S} , а затем проверить, является ли этот язык пустым. Однако, поскольку это требует преобразования в DFA, возможно, что DFA …

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