比较 FA、PDA 和 TM'S 的非确定性和确定性表达能力答案

【问题标题】：Comparing non-deterministic and also the deterministic expressive power of FA, PDA's and TM'S比较 FA、PDA 和 TM'S 的非确定性和确定性表达能力
【发布时间】：2018-05-28 01:24:48
【问题描述】：

我有点迷茫，网上也找不到答案，但就表达能力而言，。

非确定性 FA、PDA、TM

NFA < NPDA < NTM

确定性 FA、PDA、TM：这就是我感到困惑的地方

DFA < PDA < TM?

整体来说：?

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

请纠正我还是我正确？

【问题讨论】：

@sungyong 感谢您的编辑，现在帮帮我：]
我不确定你所说的 NCFL 和 DCFL 是什么意思，但是如果你用“CFG”替换这两个，那么你所拥有的就是正确的，其中= 的意思是“和一样强大”而< 的意思是“不如”。

标签： computation-theory deterministic non-deterministic

【解决方案1】：

DFA

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

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

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

所以总的来说， DFA = NFA = e-NFA = RE

【讨论】：