论文部分内容阅读
在深入研究DFA化简基本原理的基础上,首先给出现有分析算法(分割法)的形式化算法描述,然后证明了该算法存在着漏洞,并给出相应的解决方法。最后,借鉴时序逻辑门电路中原始状态表化简的方法,对现有分割算法进行修改,提出一种新的适用于任何DFA的化简算法——K次划分法。
DFA化简算法的一种改进方法
【摘 要】
：
在深入研究DFA化简基本原理的基础上,首先给出现有分析算法(分割法)的形式化算法描述,然后证明了该算法存在着漏洞,并给出相应的解决方法。最后,借鉴时序逻辑门电路中原始状
【机 构】
：
安庆师范学院计算机与信息学院,中国科学技术大学信息科学技术学院
【出 处】
：
安庆师范学院学报(自然科学版)
【发表日期】
：
2009年01期
【基金项目】
：
安庆师范学院教研项目(2006jy12)资助
其他文献
目的探讨肾康片联合黄葵胶囊治疗慢性肾小球肾炎的临床疗效。方法选取2011年6月至2013年6月收治的142例慢性肾小球肾炎患者,随机分为实验组71例和对照组71例。实验组口服肾康
<正> 百合花是纯洁的象征,又寓意百年好合,是世界著名的五大鲜切花之一。百合花朵硕大,花色各异,姿态优雅,芳香浓郁,倍受人们喜爱。 1.生物学特性 百合为多年生草本植物,耐寒
提出了培育优质大径材的经营措施。苗圃育苗采用秋季随采随播的方法;栽培上作了不同迹地类型、不同初植密度的对比试验;经营上采用造林后前3年每年抚育4次,造林后第2年进行人
采用光乳液聚合法成功合成了一种纳米球形聚电解质刷,该纳米球形聚电解质刷由核、壳两部分组成：核为直径320nm的聚丁二烯胶乳微球,壳为在其表面接枝的长度和接枝密度可控的线
船舶作为一种重要的交通运输工具,具有载货量多,运输成本低,污染小等优点。但船舶航行条件比较复杂,其体积和重量比较大,导致惯性大、灵活性差、机动性不好,稍有操作不慎,就
菇渣加工无土栽培基质具有养分含量高、持水能力强的特点,附加值较高,前景广阔,但因其成分的不稳定性不能直接用作基质。作为单一栽培基质,其电导率（EC值）和酸碱度（pH值）也都不适
微电子技术是以集成电路为核心的高新科学技术,其时代性和智能性深刻地影响了当今信息产业.现代通信、物联网或是人工智能等领域的发展都离不开微电子技术的崛起.但我国在集
近代苏北遭遇了多次天灾人祸,尤其是抗战胜利以后,国共两党在此展开了激烈角逐,社会动荡加上连年灾荒,使得民生凋敝。当时解放区为巩固后方,非常重视救济灾荒。但救济活动在
陶慕宁校注本《金瓶梅词话》虽然是目前关于明万历本《金瓶梅词话》比较新的校本,但仍在校勘方面存在诸多问题。为此,刘敬林对该书前六十回进行了较为全面的补校工作,然仍未