| 基于等价关系的有穷自动机最小化方法 |
| |
| 引用本文： | 马子睿.基于等价关系的有穷自动机最小化方法[J].数字社区&智能家居,2009,5(9):7273-7273,7297. |
| |
| 作者姓名： | 马子睿 |
| |
| 作者单位： | 宁夏大学数学计算机学院,宁夏银川750021 |
| |
| 基金项目： | 宁夏自然科学基金资助项目（NZ0726）;宁夏大学科学研究基金资助项目（ZR200821） |
| |
| 摘 要： | 主要介绍了有穷自动机的基础知识，研究了有穷自动机的等价性，并在确定型有穷自动机的状态集上引入等价关系，给出了自动机的最小化过程。利用等价归并算法，可以将某一给定的确定型有穷自动机状态集上的等价状态归并掉．生成与其等价的最小化的确定型有穷自动机。
|
| 关 键 词： | 有穷自动机 状态转换图 等价关系 确定型有穷自动机 最小化 |
Finite Automata Minimization Based on Equivalence Relation |
| |
| MA Zi-rui.Finite Automata Minimization Based on Equivalence Relation[J].Digital Community & Smart Home,2009,5(9):7273-7273,7297. |
| |
| Authors: | MA Zi-rui |
| |
| Affiliation: | 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. |
| |
| Keywords: | finite automata state transform figure equivalence relation DFA minimization |
| 本文献已被 维普 等数据库收录！ |
