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

Питання про кінцеві автомати, елементарну модель автомата з кінцевою пам'яттю. Це рівнозначно звичайним мовам і є основою для багатьох більш складних моделей.


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


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

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

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

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

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

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

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

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

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

3
Якщо без контексту і є регулярним, то є без контексту?
Я застряг у вирішенні наступної вправи: Аргументуйте, що якщо без контексту і є регулярним, то (тобто правильний коефіцієнт ) без контексту.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 , який приймає …

4
Слова, які мають однаковий право-та ліво-асоціативний твір
Я почав вивчати недетерміновані автомати, використовуючи книгу Хопкрофта та Уллмана . Я застряг у проблемі, яка мені була дуже цікава: Надайте недетермінованому кінцевому автомату, що приймає всі рядки, які мають однакове значення при оцінці зліва направо на правий наліво шляхом множення відповідно до наступної таблиці: ×abcaacbbaacccba×abcaaacbcabcbca\qquad \displaystyle\begin{array}{c|ccc} \times & a …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.