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

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

10 automata  finite-automata  proof-techniques  nondeterminism 

У моєму підручнику сказано: "Ми визначаємо функцію f:N→Nf:N→Nf\colon \mathbb{N}\to\mathbb{N} наступним чином: f(1)=2f(1)=2f(1)=2 і f(i+1)=2f(i)1.2f(i+1)=2f(i)1.2f(i+1)=2^{f(i)^{1.2}}. Зауважимо, що даноnnn, ми можемо легко знайти в O(n1.5)O(n1.5)O(n^{1.5}) час число iii такий як nnn бутерброд між f(i)f(i)f(i) і f(i+1)f(i+1)f(i+1). " Як я можу переконати себе, що насправді ми можемо легко знайти iii в O(n1.5)O(n1.5)O(n^{1.5})час? Якfff …

10 complexity-theory  algorithm-analysis  nondeterminism 

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

9 regular-languages  finite-automata  nondeterminism 

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

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

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

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