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

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

10 algorithms  regular-languages  finite-automata 

Я дуріла з демонстрацією Maze Google Blocky і згадала старе правило, що якщо ви хочете вирішити лабіринт, просто тримайте ліву руку до стіни. Це працює для будь-якого простого підключеного лабіринту і може бути реалізовано кінцевим перетворювачем. Нехай наш робот представлений перетворювачем із наступними діями та спостережуваними характеристиками: Дії: рухайтеся вперед …

10 automata  finite-automata  artificial-intelligence 

Питання досить багато в назві. Чи є колись час, коли якась моваLLL може прийняти мінімальний DFA з nnn держави, але LRLRL^R, обернення LLL, може бути прийнято DFA з mmm штати, де m&lt;nm&lt;nm<n?

10 formal-languages  reference-request  automata  finite-automata 

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

10 automata  finite-automata 

Я працюю над книгою Сіпсера (2-е видання) і натрапив на цей приклад, якого я не розумію. У книзі зазначено, що ця NFA приймає порожню рядок .ϵϵ\epsilon Чи міг би хтось мене пропустити, чому це так? Я розумію, що перейде до що не є станом прийняття.ϵϵ\epsilonq3q3q_3

9 regular-languages  finite-automata  nondeterminism 

Існує теорема, яка говорить про те, що: Даний автомат скінченного стану, що має станів, якщо існує рядок , довжина якого задовольняє то мова, прийнята автоматом, нескінченна.нnnшwwn ≤ | ш | ≤ 2 n - 1н≤|ш|≤2н-1n \leq |w| \leq 2n-1 Я розумію обмеження , але я не розумію, чому обмеження є.| …

9 automata  finite-automata 

Усі три DFA, NFA та epsilon NFA дозволяють нам представляти певну регулярну мову. За допомогою будь-якого з цих уявлень ми можемо дійти до того ж регулярного виразу, чому тоді нам потрібно вивчити всі три форми подання кінцевих автоматів? Можна пояснити, що може зробити NFA, а DFA не може, тобто NFA …

9 automata  finite-automata  education 

Ми можемо сформувати DFA, приймаючи двійкові числа, ділені на нnn. Наприклад, DFA, що приймає двійкові числа, ділені на 2, можна сформувати так: Аналогічно DFA, що приймає двійкові числа, ділені на 3, може бути сформовано так: Ми можемо дотримуватися чітко визначеної процедури для формування цих типів DFA. Однак чи може бути …

9 regular-languages  automata  finite-automata  regular-expressions 

Нехай рядок введення задається як . Тоді якщо NFA в даний час знаходиться в стані (і прочитав вхідний алфавіт w_i ), то перед читанням наступного символу введення NFA розбивається на два NFA, один перебуває в стані r, а інший знаходиться в s , якщо є перехід тип r \ xrightarrow …

9 turing-machines  finite-automata  pushdown-automata  computation-models  nondeterminism 

Я, мабуть, згадую з класу бакалаврату, що для машини Тьюрінга з кінцевою стрічкою завжди існуватимуть відповідні автоматичні дані кінцевого стану, але я не зміг знайти це підтверджене ніде в Інтернеті. Це насправді так чи я неправильно пам’ятаю?

9 turing-machines  finite-automata 

Я генерую випадкові DFA для тестування алгоритму зменшення DFA на них. Алгоритм, який я зараз використовую, такий: для кожного стану , для кожного символу в алфавіті додайте до деякого випадкового стану. Кожна держава має однакову ймовірність стати кінцевим станом.qqqcccδ(q,c)δ(q,c)\delta (q, c) Це хороший метод створення об'єктивних DFA? Крім того, цей …

9 algorithms  finite-automata  randomness  pseudo-random-generators  random-graphs 

Нещодавно я поставив запитання щодо Math SE. Ще немає відповіді. Це питання пов'язане з цим питанням, але більше технічних деталей щодо інформатики. Дано два DFA A=(Q,Σ,δ,q1,F1)A=(Q,Σ,δ,q1,F1)A = (Q, \Sigma, \delta, q_1, F_1)і де набір станів, вхідний алфавіт та функція переходу і однакові, початкові стани і кінцеві (приймаючі) стани можуть бути …

9 formal-languages  reference-request  finite-automata 

Я застряг у вирішенні наступної вправи: Аргументуйте, що якщо без контексту і є регулярним, то (тобто правильний коефіцієнт ) без контексту.LLLRRRL/R={w∣∃x∈Rs.twx∈L}L/R={w∣∃x∈Rs.twx∈L}L / R = \{ w \mid \exists x \in R \;\text{s.t}\; wx \in L\} Я знаю , що повинен існувати КПК , який приймає і DFA , який приймає …

9 formal-languages  context-free  finite-automata  closure-properties  pushdown-automata 

Я почав вивчати недетерміновані автомати, використовуючи книгу Хопкрофта та Уллмана . Я застряг у проблемі, яка мені була дуже цікава: Надайте недетермінованому кінцевому автомату, що приймає всі рядки, які мають однакове значення при оцінці зліва направо на правий наліво шляхом множення відповідно до наступної таблиці: ×abcaacbbaacccba×abcaaacbcabcbca\qquad \displaystyle\begin{array}{c|ccc} \times & a …

9 formal-languages  automata  regular-languages  finite-automata  nondeterminism