语言语法的什么特征定义了它将被解释或编译？

Question

语言语法上是否有任何元素或特征定义将被解释或编译？还是只依赖 compiler/interpreter 的实现来处理该语言？

Answer 1

你标记了这个问题 formal-languages 这应该给你一个提示：形式语言是一种数学抽象，而解释器和编译器是令人沮丧的具体。

所以这或多或少像是在问皮亚诺公理和货币之间的关系。可以说，数字的正式模型中没有任何内容可以告诉您它是否能产生美分。

在实际层面上，如果一种语言有任何类似于 eval 原语的东西，你可以合理地确信它 包含 解释器，当然是解释器可能包括编译要评估的代码，然后 运行 结果代码。与正式的数学模型不同，现实世界充满了漏洞百出的抽象。