【摘 要】
：
"不确定有穷自动机NFA(即Non-FiniteAutomat),先转化为确定有穷自动机FA(即FiniteAutomat),再转化为规范有穷自动机GFA(即GageFiniteAutomat)",是有穷自动机极小化的研究基础.HopcroftJE.等学者曾论及"NFA→FA→GFA"等价转换,但未见构造性算法.为此,本文将给出有穷自动机的规范化算法.
【机 构】
：
西南财经大学经济信息工程学院,成都,610074
【出 处】
：
2004年全国理论计算机科学学术年会
论文部分内容阅读
"不确定有穷自动机NFA(即Non-FiniteAutomat),先转化为确定有穷自动机FA(即FiniteAutomat),再转化为规范有穷自动机GFA(即GageFiniteAutomat)",是有穷自动机极小化的研究基础.HopcroftJE.等学者曾论及"NFA→FA→GFA"等价转换,但未见构造性算法.为此,本文将给出有穷自动机的规范化算法.
其他文献
为了对六辊UCMW冷连轧机的边缘降生成机理、边缘降控制性能及控制行为等方面进行深入地研究,本文针对此机型建立开发了UCMW冷连轧机辊系与轧件一体化仿真系统.此套仿真系统的建立,为揭示边缘降控制思想和策略,进行边缘降控制功能的不断优化改进以及向其它钢种的推广应用奠定基础.因此对实际生产和科研有着重要的意义和作用.
轧机类型的选择主要取决于轧制产品的主要品种和规格,例如轧制一般规格的低碳钢和低合金钢大多选择CVC四辊和HC六辊轧机,而轧制较薄规格产品则选择HCMW(UCMW)和CVC六辊轧机.当轧制不锈钢和硅钢产品时仍首选二十辊轧机.
当前电信运营企业的竞争日益加剧,随着硬件设施差距的减小,运营企业间的竞争将最终体现在服务上的竞争,即以优质、主动的个性化服务吸引客户,然而这些竞争措施离不开一套由计费、营业、帐务、客服等功能组成的电信运营支撑系统(OSS/BSS:OperationsSupportSystem/BusinessSupportSystem)的支持,以下简称支撑系统.支撑系统是一个复杂的系统,其建设不是一蹴而就的,是一
本文对PKI/CA系统的设计及分析进行了论述。文章结合校园网的特点及一段时问的工作，总结了PKI／CA系统的设计思想，并分析了所设计系统的功能、安全性及特点。
本文采用CGI／Perl编程技术，在Linux环境下实现了一个中小型的三层结构WebMIS实验系统。文章详细描述了该系统的体系结构，简要介绍了关键的编程技术，从而可以发现CGI／Perl编程简明扼要，易于实现。实验结果显示这种体系结构有很好的安全性、稳定性和速度。
本文根据新闻视频的特点提出了一种基于语义帧的全新闻视频语义分析方法,总结了新闻视频的主要语义帧模型,并给出了相应的MPEG-7的描述方法.采用本文得到的标准化的新闻描述后,为新闻视频的检索提供了标准的接口.这对于基于内容的新闻视频检索有着重要的现实意义.
在工业生产和科学技术研究的各行业中,常常需要对各种数据进行采集。传统的采集卡不仅安装麻烦,易受机箱内环境的影响,而且由于受计算机插槽数量和地址,中断资源的限制,不能挂接很多设备。本文利用89C51单片机设计了基于USB总线的数据采集系统。
本文根据用户不再满足于以文本等小型数据量的网络服务,而是寻求网络传输数据量更大的多媒体服务的需求，对基于P2P的VoD系统的视频缓存控制进行了研究，以解决用户无法点播或点播时经常遇到影片播放不流畅、跳跃、甚至出现"渴死"等问题。文章对基于P2P的视频点播系统和视频缓存控制问题进行了论述。
本文对JSP和XML在管理信息系统中的应用进行了论述。文章指出，XML数据库是一种基干Web的新型的半结构化数据库。XML作为一种新型的数据库格式具有一些特别的优势。能够提供高质量的全文搜索引擎，特别适合对半结构化数据的管理。
本文对ASP开发技术应用进行了解析。文章指出，ASPMicrosoft公司1996年推出的Web应用程序开发技术,既不是一种程序语言,也不是一种开发工具,而是一种技术框架,是一种未经编译的开放的应用软件,是基于服务器端的脚本编写环境。它可以使用户结合已具有的HTML网页、脚本程序和ActiveX组件,更方便地创建和运行动态的、交互式且高效的Web服务器应用程序。