比较FA,PDA和TM'的非确定性和确定性表达能力

时间:2017-12-14 02:52:45

标签: computation-theory deterministic non-deterministic

我很困惑,也无法在网上找到答案,但就表现力而言,

非确定性FA,PDA,TM

NFA < NPDA < NTM

确定性FA,PDA,TM:这是我感到困惑的地方

DFA < PDA < TM?

整体而言:?

DFA = NFA = e-NFA = RE < DPDA < NPDA = NCFL = DCFL < NTM = DTM? 

请纠正我或我是否正确?

1 个答案:

答案 0 :(得分:1)

DFA&lt; PDA&lt; TM是正确的。

请记住,DFA = NFA = RegEx电源,每个NFA都可以转换为DFA,可以转换为RegEx,反之亦然。

上下文免费语言略有不同。 PDA≠NPDA。您可以为上下文无关语言的子集构建PDA,但您可以为任何上下文无关语言构建NPDA。

图灵机,确定性和非确定性,同样强大。请记住,您可以使用单个磁带DTM模拟任何NTM。

总的来说, DFA = NFA = e-NFA = RE&lt; DPDA&lt; NPDA = NCFL = DCFL&lt; NTM = DTM 是正确的直觉。