标签： math programming-languages functional-programming interpreter
我的编程语言教科书通过提供Scheme程序解释了口译员的工作方式。例如，有一个过程确定变量是否属于表达式的范围，有一个定义数据类型的过程，等等。这些函数是解释器的“片段”。
我想通过正式数学来理解解释是如何运作的。解释器查看某些输入并确定下一个要调用的函数（子程序）。看起来这种函数处理可以用数学表示，因为函数只是相互执行或执行操作。是否有数学分支处理抽象函数的这种表示？