检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]安庆师范学院计算机与信息学院,安徽安庆246133 [2]中国科学技术大学信息科学技术学院,安徽合肥230026
出 处:《安庆师范学院学报(自然科学版)》2009年第1期45-48,共4页Journal of Anqing Teachers College(Natural Science Edition)
基 金:安庆师范学院教研项目(2006jy12)资助
摘 要:在深入研究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.
分 类 号:TP301.1[自动化与计算机技术—计算机系统结构]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.117