Parsing 图灵完备语言能有一个CFG吗?

Parsing 图灵完备语言能有一个CFG吗?,parsing,grammar,context-free-grammar,turing-machines,turing-complete,Parsing,Grammar,Context Free Grammar,Turing Machines,Turing Complete,图灵完整性是否会阻止一种语言拥有CFG?我找不到这样的报纸 我发现: 我们通常对这些术语不精确,但要正确回答您的问题,我们需要非常精确地使用术语 如果两个计算系统可以相互模拟,则它们是等价的。如果一个计算系统等价于图灵机,那么它就是图灵机等价的 如果一个计算系统要求在该系统中计算该系统的所有能力,则该计算就完成了;也就是说,对计算系统的任何改变,如果导致它不能执行至少与以前相同的计算,将导致它不能执行该计算。如果一个计算关于图灵机是完全的,那么它就是图灵机完全的 BNF语法描述上下文无关的语言,

图灵完整性是否会阻止一种语言拥有CFG?我找不到这样的报纸

我发现:

我们通常对这些术语不精确,但要正确回答您的问题,我们需要非常精确地使用术语

如果两个计算系统可以相互模拟,则它们是等价的。如果一个计算系统等价于图灵机,那么它就是图灵机等价的

如果一个计算系统要求在该系统中计算该系统的所有能力,则该计算就完成了;也就是说,对计算系统的任何改变,如果导致它不能执行至少与以前相同的计算,将导致它不能执行该计算。如果一个计算关于图灵机是完全的,那么它就是图灵机完全的

BNF语法描述上下文无关的语言,能够解析这些语言的能力最低的计算系统是下推自动机。这个计算系统无法模拟图灵机,因为图灵机可以执行下推自动机无法执行的计算;因此,下推自动机不是图灵等价的

文章说TeX是一种图灵完全语言,也就是说,决定有效TeX字符串的语言需要图灵机器的所有功能。任何不能模拟图灵机的系统都不可能解析有效TeX字符串语言中的decise成员身份


这篇文章并没有说TeX是图灵等价物(也许是,也许不是;我不知道)。正如评论中指出的,计算系统表示的图灵完备性与该计算系统的图灵等价性完全无关。甚至图灵机器本身也可以用常规语言的字符串来表示(事实上,扩展任何语言的解释,使无效程序编译到程序中,该程序停止运行而不做任何事情,突然所有字符串都是有效的,所有字符串的语言当然是常规的)。

,brainfuck是一种常规的图灵完全语言,组成通用图灵机的状态转移表也是如此。