terae的博客

第3章 自动机基础3.1 正规语言及其描述方法==正规文法==，正规式自动机：一种语言模型，语言的一种识别工具有限自动机(FA):(词法分析的对象)被用来处理正规语言3.1 正规语言及其描述方法正规语言：由正规文法定义的语言正规文法，正规式仅有三种形式的产生式A -> aBA -> aA -> ε正规语言有三种等价的表示方法：正规文法，正规式，有限自动机(FA)L1 = {ambn | m >= 0 , n >= 1}L2 = {(ab)n | n

第2章 形式语言基础2.1 形式语言是符号串集合2.2 形式语言是由文法定义的2.1 形式语言是符号串集合字母表中的元素不能再切割b0=ε（空符号串），b1=b，b2=bb，b3=bbb，…L1为有限语言，L2为无限语言（字符串无限多个）符号串的运算：连接：a·b=ab或：a|b=a(或者b)方幂：b0=ε（空符号串），b1=b，b2=bb，b3=bbb，…闭包：a的正闭包：a+=a1|a2|…|an|…   a的星闭包：a*=a0|a1|a2|…|an|…例：(a|b)2=aa|a

基本概念编译程序与解释程序的主要区别编译过程编译程序：高级语言->汇编语言解释程序：是逐条解释的编译程序与解释程序的主要区别（1）前者有目标程序而后者没有目标程序（2）前者运行效率高而后者便于人机对话编译程序总体结构：两遍的编译程序：第一遍：词法分析、语法分析和语义分析第二遍：目标代码生成和目标代码优化编译过程词法分析：识别单词并分类语法分析：组词成句及语法错误检查语义分析：分析各种语法成分的语义特征优化：提高目标程序质量的工作目标代码生成：产生计算机可识别的语言