基于递归的方法在形式文法教学中的作用

摘要

形式化文法是编译理论及程序语言理论重要的研究内容之一，同时也是编译原理课程本科教学中的基础内容。掌握系统化形式化文法分析方法是学生学习编译原理基础理论，自动及非自动构造各种编译器的重要基础。通过递归，各种类型复杂度的程序语言都可以用文法简洁地进行描述。递归既是一种静态的结构，同时也是一种动态的计算方法。提出基于递归的形式化文法分析方法，重点包括基于递归的语言定义及基于递归的文法语言计算。