CAJ | 학술논문

形式化文法是编译理论及程序语言理论重要的研究内容之一，同时也是编译原理课程本科教学中的基础内容。掌握系统化形式化文法分析方法是学生学习编译原理基础理论，自动及非自动构造各种编译器的重要基础。通过递归，各种类型复杂度的程序语言都可以用文法简洁地进行描述。递归既是一种静态的结构，同时也是一种动态的计算方法。提出基于递归的形式化文法分析方法，重点包括基于递归的语言定义及基于递归的文法语言计算。
형식화문법시편역이론급정서어언이론중요적연구내용지일，동시야시편역원리과정본과교학중적기출내용。장악계통화형식화문법분석방법시학생학습편역원리기출이론，자동급비자동구조각충편역기적중요기출。통과체귀，각충류형복잡도적정서어언도가이용문법간길지진행묘술。체귀기시일충정태적결구，동시야시일충동태적계산방법。제출기우체귀적형식화문법분석방법，중점포괄기우체귀적어언정의급기우체귀적문법어언계산。