基于等价关系的有穷自动机最小化方法.docVIP

基于等价关系的有穷自动机最小化方法 　　摘要:主要介绍了有穷自动机的基础知识,研究了有穷自动机的等价性,并在确定型有穷自动机的状态集上引入等价关系,给出了自动机的最小化过程。利用等价归并算法,可以将某一给定的确定型有穷自动机状态集上的等价状态归并掉,生成与其等价的最小化的确定型有穷自动机。 　　关键词:有穷自动机;状态转换图;等价关系;确定型有穷自动机;最小化 　　中图分类号:TP312文献标识码:A文章编号:1009-3044(2009)25-7273-01 　　Finite Automata Minimization Based on Equivalence Relation 　　MA Zi-rui 　　(School of Mathematics and Computer Science, Ningxia University, Yinchuan 750021, China) 　　Abstract: The paper introduce the foundation knowledge of finite automata and research the equivalence of finite automata. We import equivalence relation in the set of state of DFA and give the procedure of minimum automata. Using the equivalence merger algorithm, we can merge the equivalent states in the set of the automaton’s states and then get the minimized automaton which is equivalent to the original automaton. 　　Key words: finite automata; state transform figure; equivalence relation; DFA; minimization 　　有穷自动机是计算机软、硬件研究的重要基础理论,它在软件设计中的应用,为设计者提供了一种新的解决问题的思想和方法[1]。它具有任意有限数量的内部格局或状态,用此来记忆过去输入的有关信息,根据当前的输入可确定下一步的状态和行为。一个有穷自动机等价于一个状态转换图。这样得到的状态转换图可以应用有穷自动机的有关定理和算法进行等价变换、约简,然后用程序实现。由于状态转换图与程序有一定的对应关系,所以使得程序设计比较规范化,从而高效的完成了软件设计工作。 　　1 有穷自动机 　　给定有限集Σ是一个字母表,Σ*是字母表Σ上有穷符号串构成的集合,ε表示空串,串w的长度表示成|w|。Σ上的语言是Σ*的子集,Σ上的正则表达式可以是Φ,ε或a∈Σ或使用以下规则的有限次的组合:给两个正则表达式α与β,并α+β,差α-β,星运算α*也是正则表达式。正则表达式用α或R表示L(α)表示定义在正则表达式α上的语言[2-3]。 　　定义1一个有穷自动机M是一个五元组M=(Q,Σ,δ,q0,F),其中: 　　l) Q是一个有穷的状态集合; 　　2) Σ是一个有穷的输入符号集合; 　　3) δ?哿Q×(Σ∪{ε})×Q是转移函数,以一个状态和一个输入符号作为变量,返回状态; 　　4) q0∈Q是一个初始状态; 　　5) F?哿Q是一个终结状态集; 　　定义2如果δ:Q×Σ→Q,称自动机M是确定型有穷自动机(DFA)。如果δ:Q×Σ×Q,称自动机M是非确定型有穷自动机(NFA)。如果在δ上没有限制,称自动机M是带ε转移的非确定型有穷自动机(ε-NFA)。 　　2 等价性 　　在研究有穷自动机与正则表达式的关系时,一般引入状态转换图概念,并扩充这一概念,使图中每条边标记为字母表Σ上的字符串或空字ε,称扩展的转换图,任一扩展的转换图都可转换成等价的ε-自动机,ε-自动机是一种包含空字ε的特殊的自动机。任意一个自动机都可转换为等价的确定有穷自动机DFA,而确定有穷自动机DFA与正则集之间存在等价关系,即:假定V=L(R),R是正则集V相对应的正则表达式。Σ上的一个字集V?奂Σ*是正则的充分必要条件,是存在Σ上的确定有限自动机DFA M使得:V=L(M)。 　　对于任一给定的确定有穷自动机DFA M,存在一个正则表达式R,使得L(M)=L(R),反之亦然[2-4]。 　　3 确定型有穷自动机的最小化 　　有穷自动机的最小化是一个十分重要的问题。这里所说的最小化是指在等价的前提下,对有穷自动机进行转换,使得经转换所得到的有穷自动机状态