编译原理第三章 自动机基础(1)讲述.ppt

第 3 章 自动机基础 3.1 正规语言及其描述方法 【内容提要】 自动机 — 是一种语言模型，是语言的一种识别工具，其中的 有限自动机(finite automata）FA 被用来处理 正规语言，后者是编译程序设计中词法分析的对象。 3.2 有限自动机的定义与分类 3.3 有限自动机的等价变换1,2 3.4 有限状态自动机的实现问题 3.5 正规语言描述方法间的相互转换 3.1 正规语言及其描述方法 【定义】 正规语言是指由正规文法定义的语言；程序设计语言中的单词，大都属于此种语言。 正规语言有三种等价的表示方法： ⑴ 正规文法 ⑵ 正规式 ⑶ 有限自动机 正规文法是指仅有三种形式的产生式： ⑴ A - aB ⑵ A - a ⑶ A - ? 【例3.1】 G(Z)：A -aA| ? ∵ A=? ; A=aA=aaA=aaaA=…=an ,n≥0 ∴ L(G)={ an | n≥0 } 正规文法 正规语言 ※ 正规语言判定示例: 【例3.2】 L1 ={ ambn| m≥0 ,n≥1 } , 正规语言 ? ∵ 可由正规文法定义： G1(S): S - aS|bA ; A - bA|? ∴ L1 是正规语言。 【例3.3】 L2 ={(ab)n| n≥1 } , 正规语言 ?