安庆师范学院学报(自然科学版)
安慶師範學院學報(自然科學版)
안경사범학원학보(자연과학판)
JOURNAL OF ANQING TEACHERS COLLEGE(NATURAL SCIENCE)
2009年
1期
45-48
,共4页
DFA%算法%化简
DFA%算法%化簡
DFA%산법%화간
在深入研究DFA化简基本原理的基础上,首先给出现有分析算法(分割法)的形式化算法描述,然后证明了该算法存在着漏洞,并给出相应的解决方法.最后,借鉴时序逻辑门电路中原始状态表化简的方法,对现有分割算法进行修改,提出一种新的适用于任何DFA的化简算法——K次划分法.
在深入研究DFA化簡基本原理的基礎上,首先給齣現有分析算法(分割法)的形式化算法描述,然後證明瞭該算法存在著漏洞,併給齣相應的解決方法.最後,藉鑒時序邏輯門電路中原始狀態錶化簡的方法,對現有分割算法進行脩改,提齣一種新的適用于任何DFA的化簡算法——K次劃分法.
재심입연구DFA화간기본원리적기출상,수선급출현유분석산법(분할법)적형식화산법묘술,연후증명료해산법존재착루동,병급출상응적해결방법.최후,차감시서라집문전로중원시상태표화간적방법,대현유분할산법진행수개,제출일충신적괄용우임하DFA적화간산법——K차화분법.