摘要
在深入研究DFA化简基本原理的基础上,首先给出现有分析算法(分割法)的形式化算法描述,然后证明了该算法存在着漏洞,并给出相应的解决方法。最后,借鉴时序逻辑门电路中原始状态表化简的方法,对现有分割算法进行修改,提出一种新的适用于任何DFA的化简算法——K次划分法。
With the basis of deep research in basic principle of DFA simplification, this paper describes the formalization algorithm of current analyzing algorithm (segmentation algorithm), proves that there are shortages in this algorithm and provides their solutions. By the end, profiting from the method which used in sequential logic gate circuit to simplify the original state table, the paper changes the current segmentation algorithm and provides a algorithm suitable to any DFA simplification K--thdivision method.
出处
《安庆师范学院学报(自然科学版)》
2009年第1期45-48,共4页
Journal of Anqing Teachers College(Natural Science Edition)
基金
安庆师范学院教研项目(2006jy12)资助
关键词
DFA
算法
化简
deterministic finite automata , algorithm , simplification