Gab*_*abi 2 computer-science programming-languages computation-theory formal-languages
如果我们主要使用无上下文语言进行编码,我真的无法理解如何模拟图灵机(它接受递归可枚举语言)的输出.
您将程序的规范与其输出混淆.
例如,可以接受递归可枚举语言的图灵机仍由有限转移函数或"规则表"指定.规则表本身可以用常规语言表达.
然后,只有现代编程语言的基本语法完全由上下文无关语法定义.有效的程序必须满足语法未捕获的许多条件:标识符必须在使用之前声明,函数只能定义一次,程序必须通过类型检查程序,依此类推.