编译原理讲的是把源代码编译成目标代码(机器代码)的过程,整个过程基本包括:
词法分析:编译过程的第一个阶段,将源程序一个字符一个字符的读入,识别出一个个单词。
语法分析:在词法分析的基础上将单词序列分解成语法短语,如“程序”、“语句”、“表达式”。
语义分析:审查源程序有无语义错误,如数据类型是否一致。
生成中间代码:将源程序编程中间代码,中间代码非常容易生成目标代码。
代码优化:对中间代码进行改造,目的使目标代码更高效。
目标代码生成:将中间代码变化成特定机器上的绝对指令代码或汇编指令代码。
软考中设计的知识点,主要围绕与 词法分析 相关的文法讲解。
文法:把高级语言编译成机器代码时,编译器要能识别出高级语言,知道当前正在编译的是编程语言的关键字、用户定义变量或者是操作符等等,因此需要用一种描述语言的语言或规则,这正是文法(我的理解,欢迎拍砖)。
首先看文法相关的知识:
首先需要了解终结符和非终结符的概念:终结符是不可再分的符号,对应程序语言中的字母,标点,运算符等;非终结符是可再分的符号,可以分成终结符或其他非终结符。
其次是文法的四元组(Vn,Vt,P,S),Vn表示非终结符集,Vt终结符集,P表示规则,S表示开始符。
文法分四个类型:总体上的关系是
0型文法:文法都满足,因此是最基本的文法,也叫短语文法
1型文法:在满足0型文法的基础上,要满足规则右端的字符串长度大于或等于规则左端的字符串(规则:α-->β)。
2型文法:在满足1型文法的基础上,α是非终结符。
3型文法: