面向解释器的程序设计语言定义

编程语言语义的形式化定义的构造方法与一种语言可以由编译或解释用该语言编写的程序的实际处理器定义的概念有很多共同之处。如果处理器是用一种功能强大且表达能力强的高级语言编写的，那么这两种方法可以统一起来，以便它能为处理语言的形式化定义建立紧密的模型。由此产生的处理器具有形式化方案的概念清晰性以及在实际计算机上可执行的优点。通过展示使用维也纳定义语言的小型语言的正式定义和使用ALGOL 68的等效定义来说明这些点。