Questions tagged «automata»

F摹一FG一个FGa 我需要一种算法来确定LTL中是否描述了给定DBA的语言。你知道算法吗？

10 logic  automata  linear-temporal-logic  buchi-automata 

标题中几乎有这个问题。是否有过一些地方语言时间可以通过一个最小的DFA与被接受Ñ状态，但大号- [R ，逆转大号，可以通过与DFA接受米状态，其中米&lt; Ñ？大号LLñnnLRLRL^RLLLmmmm&lt;nm&lt;nm<n

10 formal-languages  reference-request  automata  finite-automata 

如何建立具有个状态的DFA示例，而等效的NFA具有个状态。显然，DFA的状态集应包含NFA的状态集的所有子集，但我不知道如何开始。有什么建议可以使我走上正确的道路吗？2n2n2^nnnn

10 automata  finite-automata 

有一个定理说： 给定一个有限状态自动机有状态，如果存在一个串w ^，其长度满足ñ ≤ | w | ≤ 2 Ñ - 1然后由自动机接受的语言是无限的。ñnnwwwñ ≤ | w | ≤ 2 Ñ - 1n≤|w|≤2n−1n \leq |w| \leq 2n-1 我了解限制，但我不明白为什么约束| w | ≤ 2 Ñ - 1是存在的。| w | ≥ñ|w|≥n|w| \geq n| w | ≤2Ñ-1|w|≤2n−1|w| \leq 2n-1

9 automata  finite-automata 

DFA，NFA和epsilon NFA三种功能都使我们能够代表特定的常规语言。使用这些表示中的任何一种，我们都可以得到相同的正则表达式，那么为什么我们需要研究有限自动机的所有三种表示形式？关于NFA可以做什么而DFA无法做到的一些解释，也就是NFA可以帮助我们设计不确定性。例如，在设计游戏（国际象棋）时，我们有很多选择可以从NFA轻松表示的特定位置移走特定的棋子。但是，当使用NFA或DFA可以完成epsilon NFA时又有什么用呢？

9 automata  finite-automata  education 

我们可以形成DFA接受可以被整除的二进制数nnn。 例如，接受DFA的二进制数可以被2整除的格式如下： 类似地，可以将DFA接受可以被3整除的二进制数字，其格式如下： 我们可以按照定义明确的程序来形成这些类型的DFA。但是，是否可以使用任何明确定义的过程或更准确地说形成DFA接受形式的数字的逻辑？nknkn^k 例如，让我们考虑DFA接受格式为所有数字。这个语言是{ 1 ，10 ，100 ，1000 ，。。。}，因此有正则表达式10 ∗。我们可以按照以下方式形成DFA： 2k2k2^k{1,10,100,1000,...}{1,10,100,1000,...}\{1,10,100,1000,...\}10∗10∗10^* 我尝试为和类似的对象形成DFA ？但未能做到。还是仅仅是它的2 n个二进制等价物的模式使得创建DFA成为可能，而我们不能形成DFA来接受特定n的所有形式为n k的二进制数？3k3k3^k2n2n2^nnknkn^knnn

9 regular-languages  automata  finite-automata  regular-expressions 

我已经开始使用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