自动机到正规表达式的重构方法研究

来源 :计算机工程与应用 | 被引量 : 0次 | 上传用户:xll526
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
自动机理论是编译程序中单词识别的基本理论。论文分析了自动机与正规表达式等价性定理,指出了从确定有限自动机到正规表达式重构规则中存在的问题,给出了一个包含多个结点所组成回路的有限自动机到正规表达式的重构定理,并通过实例对于该定理所阐明的方法的运用进行了详细的讨论。
其他文献
文章以包头城市广场的建设为例,说明了城市广场是现代城市空间中最具活力、最富艺术魅力,也是最能反映都市文明和气氛的开放空间,分析了城市广场在建设中应该考虑到的问题,提出了
学生管理是学校工作的重要组成部分,是实施素质教育、培养合格人才的根本保证。随着职业教育改革的不断深化,职业学校学生管理工作必须立足新的形势,确立新的指导思想、工作目标
B/S模式的系统越来越被人们广泛应用。根据其特点,该文对高校图书馆借阅系统进行设计,并以Visual Basic.NET中的新技术ADO.NET及ASP.NET为工具对其主要功能进行实现。
该文针对现有的工作流模型在实际应用中有时难以全面描述整个应用系统这一问题,结合公文管理工作流的实际应用环境,提出了一个相对完整的基于Petri网的工作流模型,并给出了该模
我院具有长期的艺术教育传统,早在1993年就引进了艺术专业老师对学生进行艺术教育,1995年院合唱团参加洪山区纪念反法西斯战争胜利50周年文艺汇演,荣获特等奖,1996年成立了艺术教
该文详细地介绍了大型水下设备的组成特点及在传统管理方面存在的问题,详细分析了神经网络在管理工程方面的具体应用,包括优化、预测、决策支持、建模与仿真和在全局智能化管理
关联规则挖掘能使你们发现大量数据中项目集之间有趣的关联或相关关系,通过研究发现,用传统关联规则方法会生成大量包含重复意义的规则,这必然会对用户迅速做出决策产生干扰。该
本文针对当前校园网普遍使用的防范IP地址冒用行为的IP-MAC捆绑技术研究开发了一套方便有效的管理平台。此平台基于B/S模式,利用ASP.NET,Web Services,以及物理交换机多层结
XML基于半结构化数据模型,而半结构化数据很难统一存储和管理。文章提出了一个基于模式的XML存储模型SBSM,并定义了如何在该模型上进行相关的操作,该模型克服了对象一关系映射模
近年来,随着国家干线公路建设的加速,各地也都加快了地方公路改建的步伐。但是,在地方公路改建的过程中,存在涉及面广、组织复杂和施工环境差异大等问题,因此,加强质量控制至关重要