-
题名一种新的DFA状态最小化算法
被引量：2
- 1
-
-
作者
范书义
孟晨
王成
-
机构
军械工程学院导弹工程系
-
出处
《计算机工程与应用》
CSCD
2012年第1期47-48,67,共3页
-
文摘
提出了一种基于状态转换矩阵的适合计算机实现的DFA状态最小化算法,在计算等价状态过程中,通过记录扫描过程中发现的具有相同输入字符和相同转换状态的状态判定链表,算法可以用一遍扫描和与传统算法相近的存储空间实现DFA状态的最小化。与传统的DFA状态最小化算法相比,该算法具有较好的时间复杂度和相同的空间复杂度。
-
关键词
确定有穷自动机(dfa)
状态最小化
状态转换矩阵
-
Keywords
deterministic finite automata（dfa） states minimization states transition matrix
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
-
题名一个完善的基于判定链表的DFA最小化算法
- 2
-
-
作者
陈矗
任平红
禹继国
马炳先
-
机构
曲阜师范大学计算机科学学院
济南大学信息科学与工程学院
-
出处
《计算机工程与应用》
CSCD
2013年第6期48-51,共4页
-
基金
国家自然科学基金(No.60903099)
山东省自然科学基金(No.ZR2012FM023)
-
文摘
应用判定链表进行DFA最小化方法中只处理无互相依赖等价状态会造成最小化结果不正确。针对此问题,分析了DFA中状态的k次传递等价、含自回路状态的等价以及互相依赖等价等结构特点,将分析结果应用于DFA最小化算法中,提出了一个完善的基于判定链表的DFA最小化算法。该算法涵盖所有等价状态的链表处理,与传统的分割或合并算法的最小化结果一致,保证了基于判定链表的最小化结果的正确性。
-
关键词
判定链表
确定有限状态自动机(dfa)
最小化
-
Keywords
state-judging list
deterministic finite states automata（dfa）
minimization
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
