我的编程语言教科书通过提供 Scheme 程序来解释解释器是如何工作的。例如，有一个过程可以确定变量是否属于表达式的范围，有一个过程可以定义数据类型，等等。这些功能是解释器的“部分”。
我想了解解释是如何通过形式数学进行的。解释器查看一些输入并确定接下来要调用哪个函数（子程序）。似乎函数的这种处理可以用数学方式表示，因为函数只是相互执行或执行操作。是否有一个数学分支可以处理这种抽象函数的表示？
我的编程语言教科书通过提供 Scheme 程序来解释解释器是如何工作的。例如，有一个过程可以确定变量是否属于表达式的范围，有一个过程可以定义数据类型，等等。这些功能是解释器的“部分”。
我想了解解释是如何通过形式数学进行的。解释器查看一些输入并确定接下来要调用哪个函数（子程序）。似乎函数的这种处理可以用数学方式表示，因为函数只是相互执行或执行操作。是否有一个数学分支可以处理这种抽象函数的表示？