有限自动机的最小化.pdfVIP

第 20 卷 第 3 期 高 师 理 科 学 刊 Vol. 20 No . 3 2000 年 8 月 Journal of Science of Teachers ’College and U niversit y A ug . 2000 有限自动机的最小化 丁春欣 ( ) 齐齐哈尔大学 摘要 引进有限自动机中的不可区分状态概念 ,并给出一些已知结果新的、更简单的证明. 关键词 有限自动机 状态 不可区分状态 等价类 ( Σ δ ) Σ 定义 1 设 M = Q , , , q0 , F 为有限自动机, 且令 q1 和 q2 为不同的状态. 如果存在 x ∈ , 使 q1 , x | — q3 ,e , q2 , x | — q4 ,e ,且恰好 q3 和 q4 中只有一个在 F 内, 则称 x 使得 q1 和 q2 可以区分. K ≡ 定义 2 设 q1 和 q2 为不同的状态且属于定义 1 中的 Q . 称 q1 和 q2 是 K 阶不可区分 ,且写成q1 q2 ,当 且仅当不存在 x ≤K 的x , 使 和 可以区分. 称两个状态 和 是不可区且写成 ≡ , 当且仅当 q1 q2 q1 q2 q1 q2 对于所有的 K ≥0 存在 q1 和 q2 的 K 阶不可区分. 称状态 ∈Q 是不可到达的 ,假使不存在使得 0 , x | — ,e 的输入字符串x . q q q 称 M 是经过简化的, 假使 Q 没有一个状态是不可到达的和没有两个不同的状态是不可区分的. 例 1 考虑转移图 1 所示的有限自动机 M . 图 1 M 的转移图 为了简化 M ,首先消去状态 F 和 G 不可到达的. 在下面的算法中, 将看出在等价关系 “≡”之下的等价 类是 [A ]、[B , C ]、[C , E ], 并依次以状态 、、r 表示, 从而得到图 1 经过简化有限自动机 M ’. p q 图 2 M ’的转移图 本文 2000 年 5 月 14 日收到. © 1994-2008 China Academic Journal Electronic Publishing House. All rights reserved. 第 3 期 丁春欣 :有限自动机的最小化 9