矩阵模型表示下有限自动机等价判定方法

来源 :计算机工程与应用 | 被引量 : 0次 | 上传用户:wanghuayu1985
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文在有限自动机的矩阵模型表示方法基础上,采用矩阵理论和布尔代数为工具,提出了一种有限自动机等价判定的新方法。该方法不仅有利于算法设计和计算机自动处理,其处理方法对采用矩阵模型研究有限自动机理论及应用问题也有一定学术参考价值。
其他文献
在美容院的创业初期,有不少的老板都与自己的得力手下结成“铁姐们”,信誓旦旦地许下“有难同当,有福同享”的美好誓愿,但往往在美容院步上辉煌时,等待“铁姐们”的却是分道扬镶、
在多次挖掘结果上进行增量更新可以显著地降低对原始交易数据库的访问,但一般都认为这是一种以空间换时间的方法。文章指出,只需要增加极少量的存储空间就可以存储同一交易数据
森林植被的实时可视化技术是复杂虚拟环境渲染的重要组成部分,也是影响虚拟环境逼真度的重要因素。森林植被绘制的实时性是制约VR应用的重要方面。论文综述了虚拟环境中植被可
基于策略的管理是当前安全研究的热点问题之一。该文首先介绍IPsec策略的定义及;中突的原因,随后分析了对策略管理提出的要求,在此基础上提出了IPsec策略管理的一个通用框架,并对
我公司转杯纺车间有BS613型转杯纺纱机5台,设备配用FX132S1-2型排杂电机,每台净重68kg,位于车尾处,且上方有落纱板和落纱减速箱,下方有17艺排风管道,空间十分狭窄,维修保养操作非常
图像配准是计算机视觉中目标识别的一种基本方法,其目的是在待识别图像中寻找与模型图像的最佳匹配。该文讨论以特征点表示的图像间的配准问题,利用矩阵分解理论推导出射影变换下特征点集配准的闭合公式,给出变换参数估计的算法,并用模拟数据和图像角点检测的真实数据加以验证。实验表明该方法精确、稳定、受噪声影响小。
木形之人,火形之人,土形之人,金形之人,水形之人
随着美容产业的逐步成长,国内国外成功的、优秀的、新兴的项目或品牌都纷纷涌入美业市场。这种潮流,给国内的企业,经营者,商家带来了压力和困难,势必会淘汰一些各方面能力较弱的团
负载平衡是提高分布式系统性能不可缺少的技术,同时也是系统高可用性、可扩展性、容错性的必然要求。该文在分析和研究负载平衡模型的基础上,提出了一种基于消息队列的负载平衡
论文详细讨论并给出了一种适合于实际应用的视频传输系统的设计原理和实现方法。设计中为提高系统资源的使用率、提高网络带宽的应用率,提出了网络通信变VBR为动态CBR的方法,通