设计具有清晰语法定义、简单合适的程序设计语言模型，对于解释程序设计语言是非常必要的。

It is necessary for explaining the concept of programming to design a small and suitable model programming language family with a clear syntactic and semantic definition.

youdao

本文塑造了正式的函数式程序设计(FFP)语言的一种操作性语义模型，它实质上是LISP虚拟机上的一个解释程序。

Formulized is an operational semantic model of formal functional programming (FFP) language which in essence is an interpreter on the virtual LISP machine.

youdao