有限自动机的最小化理论

摘要：

系统表述确定性有限自动机最小化理论,给出了有关概念与命题的严谨的数学形式和严格的数学证明.引入了状态的严格k阶区分,研究了其性质.进而给出DFA最小化算法的一个容易实现的构造性描述及其复杂性分析.

关键词：DFA、等价最小DFA、等价关系、商集

所属期刊栏目：33

分类号：TP301.1(计算技术、计算机技术)

在线出版日期：2006-02-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：14-16