Questions tagged «nondeterminism»

我正在学习如何将NFA转换为DFA，并且我想确保自己做得对。显然，往另一个方向前进并不是一件容易的事。有谁知道一种算法来检查DFA是否等于NFA？

10 automata  finite-automata  proof-techniques  nondeterminism 

我的教科书说：“我们将函数定义如下：和。请注意，给定，我们可以在时间中轻松找到数量，使得夹在和。” f （1 ）= 2 f （i + 1 ）= 2 f （i ）1.2 n O （n 1.5）i n f （i ）f （i + 1 ）F：N → Nf:N→Nf\colon \mathbb{N}\to\mathbb{N}F（1 ）= 2f(1)=2f(1)=2F（我+ 1 ）= 2F（我）1.2f(i+1)=2f(i)1.2f(i+1)=2^{f(i)^{1.2}}ñnnØ （ñ1.5）O(n1.5)O(n^{1.5})一世iiñnnF（我）f(i)f(i)F（我+ 1 ）f(i+1)f(i+1) 我如何使自己相信我们实际上可以在时间内轻松找到？由于是递归定义的，我认为我们必须计算直到。为了找出这些计算所花费的时间，我认为我们必须为依赖于找到合适的上限，并且必须找到函数。最后，我们可以希望显示所引用的命题。不幸的是，我看不到一件事，也看不到另一件事。ø （Ñ 1.5）˚F ˚F （1 ），˚F （2 ），˚F （3 ）... ˚F （Ĵ ）˚F …

10 complexity-theory  algorithm-analysis  nondeterminism 

我正在研究《 Sipser手册》（第二版），并遇到了这个示例，但我不理解。在书中指出，该NFA接受空字符串。ϵϵ\epsilon 有人可以告诉我为什么会这样吗？ 我的理解是将移至，这不是接受状态。ϵϵ\epsilonq3q3q_3

9 regular-languages  finite-automata  nondeterminism 

假设输入字符串为。然后，如果某个NFA当前处于状态（并且已读取输入的最大字母），则在读取下一个输入符号之前，如果存在以下转换，则NFA会分成两个NFA，一个处于状态，另一个处于。类型。如果存在类型为，其中是NFA的某些状态，那么记住状态另一个NFA 直到读取输入直到字母 ř 瓦特我 ř 小号ř ε →交通小号ř ε →交通小号ε →交通 q 1。。。。ϵ → q k ϵ → r q i r w i r w i r ϵ ，ϵ → a → s ϵ ，ϵ → a → q 1w1w2...wnw1w2...wnw_1w_2...w_nrrrwiwiw_irrrsssr →ϵsr→ϵsr \xrightarrow{\epsilon} sr →ϵs →ϵq1个。。。。→ϵqķ→ϵ[Rr→ϵs→ϵq1....→ϵqk→ϵrr \xrightarrow{\epsilon} s \xrightarrow{\epsilon} q_1....\xrightarrow{\epsilon} …

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

我已经开始使用Hopcroft和Ullman的书研究非确定性自动机。我陷入了一个非常有趣的问题： 给出一个不确定的有限自动机，该自动机接受根据下表乘以从左到右从右到左从左到右求值的所有具有相同值的字符串： ×abcaacbbaacccba×abcaaacbcabcbca\qquad \displaystyle\begin{array}{c|ccc} \times & a & b & c \\ \hline a & a & a & c \\ b & c & a & b \\ c & b & c &a \end{array} 因此，如果我们有字符串， 则从左至右的乘积为（a × b ）× c = a × c = c， 而从右至左的乘积为a × …

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