确定型有穷自动机

作品数：13被引量：16H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：李翰芳罗幼喜张丽许道云殷超更多>>
相关机构：贵州大学湖北工业大学长沙理工大学山东理工大学更多>>
相关期刊：《江苏师范大学学报（自然科学版）》《佳木斯大学学报（自然科学版）》《微电子学与计算机》《湖北工业大学学报》更多>>
相关基金：国家自然科学基金贵州省自然科学基金河南省自然科学基金河南省教育厅自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
识别幺半群强半格的最少状态DFA被引量：1
《江苏师范大学学报（自然科学版）》2017年第4期36-38,共3页黎宏伟 
江苏省高校自然科学基金资助项目(10KJB58005)
为了研究识别幺半群强半格的最少状态DFA,对幺半群强半格的R类进行了深入探讨,证明了当每个幺半群中只有一个R类时,幺半群强半格中的R类的个数就是幺半群的个数,且半群中的R类是正规语言中的一种右不变等价类.借助这两个结论,证明了识...
关键词：强半格 幺半群 确定型有穷自动机 
基于簇聚类和游程编码的正则表达式压缩算法被引量：1
《计算机工程》2014年第8期282-287,292,共7页杨嘉佳 姜腊林 姜磊 戴琼 谭建龙 
国家"863"计划基金资助项目(2012AA012502);中国科学院战略性先导科技专项基金资助项目(XDA06030602)
基于簇聚类的确定型有穷自动机(DFA)压缩算法,即ClusterFA算法,解决了正则表达式匹配中的空间爆炸问题,但该算法的分组个数取理想值较为困难,且其类中心向量表的每一行中连续重复转移状态出现频率较高。针对该问题,提出一种改善ClusterF...
关键词：正则表达式 ClusterFA算法 确定型有穷自动机 游程编码 压缩率 吞吐率 
一种非确定型有穷自动机的极小化方法
《宁夏大学学报（自然科学版）》2012年第2期148-151,共4页张丽 
国家自然科学基金资助项目(60863005;61011130038);贵州省自然科学基金(黔科合J字[2007]2203号)
自动机状态极小化是寻求状态数较少的自动机,使其与原自动机接受相同的语言.确定型有穷状态自动机(DFA)极小化问题在平方时间内可解,通过状态集上引入等价关系导出的商自动机即为接受相同正则语言的极小化自动机.而非确定型有穷状态自动...
关键词：自动机 非确定型自动机 子语言自动机 同态 极小化 
基于确定型有穷自动机的机器人行为控制单元
《微型电脑应用》2012年第2期41-43,70,共3页庞梁 
国家自然科学基金60970108号项目"异构网络环境下软硬件协同设计的动态二进制翻译研究"资助
基于机器人基本行为的控制方法是机器人能够执行许多高级算法的基本条件,且能有效的减少重编程时的代码量,适用于大规模机器人群体中的无线程序烧录,减少通信量。针对课题研发的需求,提出一种基于确定型有穷自动机的机器人行为控制的数...
关键词：行为控制 机器人 PICOBLAZE FPGA 数学模型 
基于前序关系的非确定型有穷自动机极小化算法被引量：1
《山东大学学报（理学版）》2010年第7期34-38,共5页张明明 秦永彬 
贵州省自然科学基金资助项目(黔科合J字[2007]2203号);贵州大学自然科学青年基金资助项目(贵大自青基合字[2009]021号);贵州省省长基金资助项目(黔科教办[2004]04号);贵州大学研究生创新基金资助项目(校研理工[2010]035号)
为了减少非确定型有穷自动机(non-deterministic finite automata,NFA)的状态数,引入前序关系,并以图论为工具,将NFA的转移图看作一个带有标记的有向图,给出了NFA极小化的一个新方法。与现行的利用归并等价状态来极小化NFA的算法相比,...
关键词：非确定型有穷自动机 前序关系 状态合并 极小化 
确定型有穷自动机状态极小化的研究被引量：1
《湖北工业大学学报》2009年第4期87-90,共4页李翰芳 罗幼喜 
在树图分割法基础上,对确定型有穷自动机的极小化进行了研究.利用树图分割法,可以在状态的3次方时间内对确定型有穷自动机状态进行极小化.
关键词：确定型有穷自动机 等价关系 状态可区分 时间复杂性 树图分割法 
基于等价关系的有穷自动机最小化方法
《电脑知识与技术》2009年第9期7273-7273,7297,共2页马子睿 
宁夏自然科学基金资助项目（NZ0726）;宁夏大学科学研究基金资助项目（ZR200821）
主要介绍了有穷自动机的基础知识，研究了有穷自动机的等价性，并在确定型有穷自动机的状态集上引入等价关系，给出了自动机的最小化过程。利用等价归并算法，可以将某一给定的确定型有穷自动机状态集上的等价状态归并掉．生成与其等价...
关键词：有穷自动机 状态转换图 等价关系 确定型有穷自动机 最小化 
基于改进BM算法的确定型有穷自动机的设计被引量：4
《微计算机信息》2008年第7期215-216,236,共3页殷超 李大兴 
国家自然科学基金资助项目(10571110)
通过对有穷自动机理论与BM算法进行分析,设计了一个基于改进BM算法的确定型有穷自动机的模型.该模型描述了向基于改进BM算法的确定型有穷自动机输入文本字符串,自动机输出TRUE,说明文本串中存在与模式串相匹配的字符;自动机输出FALSE,...
关键词：确定型有穷自动机 BM算法 模式匹配 
一种确定型有穷自动机的化简算法及其实现
《山东电大学报》2008年第1期16-17,20,共3页王新程 
有穷自动机的化简是一个十分重要的问题,在等价的前提下,自动机的状态越少,意味着越节省软件和硬件资源。本文根据等价性原理,在等价类等概念的基础上,给出了确定型有穷自动机的最小化算法,并给出了该算法的程序实现。
关键词：自动机 等价关系 等价类 算法 
非确定型有穷自动机的极小化被引量：5
《吉林大学学报（理学版）》2007年第4期582-588,共7页李翰芳 许道云 
国家自然科学基金(批准号:60463001);贵州大学研究生创新基金
利用自动机状态集上的等价关系对自动机的状态集进行极小化,从而得到与原自动机功能等价的极小化自动机.通过两台确定型有穷自动机(DFA)的连接,构造一台非确定型有穷自动机(NFA).利用这两台确定型有穷自动机状态集上的等价关系,可以构...
关键词：确定型有穷自动机 非确定型有穷自动机 等价关系 状态极小化 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部