1
无上下文语言的机器，不会因不确定性而获得额外的功能
考虑计算的机器模型时，Chomsky层次结构通常由（按顺序），有限自动机，下推自动机，线性界自动机和图灵机来表征。 对于第一个和最后一个级别1（常规语言和递归可枚举语言），无论我们考虑确定性机器还是非确定性机器，即DFA等同于NFA，DTM等同于NTM 2，对模型的功能都没有影响。 但是对于PDA和LBA，情况则有所不同。与非确定性PDA相比，确定性PDA识别的语言严格更少。确定性LBA是否与非确定性LBA一样强大，这也是一个重大的开放性问题[1]。 这提示了我的问题： 是否存在一种可以描述上下文无关语言的机器模型，但对于非确定性而言，机器模型没有额外的功能吗？（如果没有，那么CFL是否具有某些特性可以说明其原因？） （对我而言）似乎不太可能证明无上下文语言以某种方式需要非确定性，但是似乎没有（确定的）确定性机器足以满足要求的机器模型。 扩展问题是相同的，但是对于上下文相关的语言。 参考文献 S.-Y. Kuroda，“语言和线性绑定自动机的类”，信息与控制，7：207-223，1964。 脚注 意见的补充问题是，乔姆斯基层次结构的级别（按集合包含排序）是否为3到0而不是0到3？ 明确地说，我说的是只能识别的语言。显然，复杂性问题会受到这种变化的根本影响。