语言语法上是否有任何元素或特征定义了它将被解释或编译？或者它只取决于编译器/解释器的实现来处理该语言？
你把这个问题标记为形式语言，这应该给你一个提示：形式语言是一种数学抽象，而解释器和编译器是令人沮丧的具体。
因此，这或多或少就像询问皮亚诺公理和货币之间的关系。可以这么说，在数字的正式模型中，没有任何东西可以告诉你它是否赚美分。
在实际层面上，如果一种语言具有类似于eval原语的东西，您可以合理地确保它包含一个解释器，但当然解释器可能包括编译要评估的代码，然后运行生成的代码。与正式的数学模型不同，现实世界充满了漏洞百出的抽象。