【摘 要】
：
给出了确定型格值有限自动机的定义,并同时给出了有效终止状态和可达到状态的定义。指出了求取DLFAM=（Q,Σ,δ,q0,σ）的实质是求取Q/Rk。由此以可到达状态为基础引入了等价关系
【基金项目】
：
国家自然科学基金（No.10671030）
论文部分内容阅读
给出了确定型格值有限自动机的定义,并同时给出了有效终止状态和可达到状态的定义。指出了求取DLFAM=（Q,Σ,δ,q0,σ）的实质是求取Q/Rk。由此以可到达状态为基础引入了等价关系Rk、Sk与商集Q/Sk,证明了Rk=Rk-1∩Sk,由此得到Q/Rk的等价类为Q/Rk-1中等价类与Q/Sk中等价类的非空交集全体。引入了Hk,并证明了可由Hk求取Q/Sk,从而得到仅利用集合运算便可求取Q/Rk的算法,最终给出了DLFA最小化算法的一个容易实现的构造型描述和相应示例。
其他文献
提出一种基于分组重写的解决三维几何约束的方法，原有的算法在解决大型系统几何约束求解时效率较低，系统开销较大，并且由于算法规则的局限性，使得很多复杂系统无法解决，包括三维几
全国人大财经委副主任、中国总会计师协会会长张佑才先生在中国总会计师协会2005年秘书长专题工作会议上指出：“与国际财务管理协会启动的联合认证，是适应经济发展全球化需要的
为了解松花江水中硝基苯在自然冰冻情况下的归趋，在冬季室外自然气候条件下进行硝基苯水样冰冻实验，并且对松花江达连河断面主河道冰层中硝基苯含量进行分层检测．结果表明，在水样
针对传统知识库表示的局限性,通过分解和重组领域知识,建立扩展树状结构的知识库,其中叶结点对应具体知识实例,称为原子知识,非叶结点只对应知识概念。同时提出相关的数据清
传统的全向视觉系统标定方法假设研究对象满足单视点成像模型且全向反射镜面各向同性,而在实际应用中上述假设往往并不成立,这会对标定精度带来很大的影响。针对全向视觉系统成像特点设计了一种新的与模型无关的标定方法,不需要研究对象满足上述约束,适用于对各种折反射式全向视觉系统的标定,具有较高的精度。将其应用于NuBot足球机器人全向视觉系统的标定后,较大地提高了机器人基于全向视觉的自定位精度,验证了标定方法
本文将苏联已研制成功的航天测量船(CKC)的大量数据和经验,推导和归纳出公式及曲线族。在航天测量船的初步设计阶段,用这些公式和曲线,即可很容易求出航天测量船的主尺度的最
近年来，全球经济、贸易和金融的内部出现了结构性变化，以中国为代表的新兴市场国家经济高速增长，成为世界经济增长的引擎。随着世界经济的不平衡发展，国际资本流动格局也不断发生
本文叙述般用液位监测系统的型式、选型要求,国内外生产情况及几型船舶的选型和比较.
在训练集不足的情况下,SVM算法有待改进,以提高其评价的准确性。采用凹半监督支持向量机,利用少量标注样本和大量未标注样本进行机器学习,提高了模型预测的精度。
一个有效的核方法通常取决于选择一个合适的核函数。目前研究核方法的热点是从数据中自动地进行核学习。提出基于最优分类标准的核学习方法，这个标准类似于线性鉴别分析和核Fi