摘要
该文在文献[1,2]给出的有限自动机矩阵模型表示方法等基本理论基础上,对基于矩阵模型表示的有限自动机极小化方法进行深入分析,提出了对其进行并行处理的方法,以实例详细描述了算法并行处理过程,并验证其算法的可行性.
after analyzing method of finite automata minimization, this paper proposes a method of parallel pro- cessing based on basic theory of finite automaton matrix model representation given in literature [ 1,2 ], describes the procedure of algorithm parallel processing with examples, and demonstrate the feasibility of the algorithm.
出处
《洛阳师范学院学报》
2013年第5期6-8,15,共4页
Journal of Luoyang Normal University
关键词
并行化
DFA
矩阵模型
状态等价类
parallel processing
DFA
matrix model
class of status equivalence