第3章 自动机基.pptVIP

第3章 自动机基础 3.1 正规语言及其描述方法 ※ 正规语言判定示例: 3.1.1 正规语言的另外两种表示方法 3.1.1 正规语言的另外两种表示方法 ※有限自动机表示法说明： ※ 正规语言的三种表示法综合示例： 【例3.5】 L ={ abnc, bn| n≥0 },∑= {a,b,c}； 【注】凡是能由上述三种方法中的一种表示的语言， 一定是正规语言；反之，凡是不能由上述三种方法表示 的语言，一定不是正规语言。 3.2 有限自动机的定义和分类 3.2.1 有限自动机的定义 ? 变换(二元函数) ; 令L(FA)为自动机FA所描述的正规语言；则 ※ L(FA)的生成(或识别)过程示例： 【例3.6】有限自动机 ：FA=( Q,∑,S,F,? ) 其中: Q={1,2,3,4},∑={a,b,c}, S={1,2}, F={3,4} 3.3 有限自动机的等价转换 3.3.2 有限自动机的确定化算法 ※ 消除?边算法示例： 3.3.2 有限自动机的确定化算法(续1) ※ 确定化示例： 3.3.3 有限自动机的最小化算法 3.3.3 有限自动机的最小化算法(续1) 3.3.3 有限自动机的最小化算法(续2) ※ 有限自动机化简示例 ※ 有限自动机化简示例(续1) ※ 有限自动机化简示例(续2) ※ 有限自动机化简练