摘要：简述了有限自动机的基本概念，提出了应用有限自动机进行软件设计的处理思想，并给出了实现方法。有限自动机在软件设计中以及应用过程中充分考虑了软件设计的规律性，提高了软件设计的工作效率。

摘要：为保证区域网被入侵时,系统仍然能为合法用户提供正常服务,设计了一种有限自动机入侵容忍模型。该模型在马尔可夫的理论基础上,通过建立状态转移概率矩阵来描述系统提供服务的状态变换关系,将转移状态进行量化求解,发现系统中关键结点。通过对关键结点的维护可以增强系统的容忍能力和提高服务的可靠性。实验对比表明,该模型不但具备很强的入侵容忍能力,在保障系统受到入侵时的完整性也具有明显优势。

摘要：本文提出有限自动机代数及其算法,它对于用有限自动机识别句子是有意义的。

摘要：在有限自动机矩阵模型表示方法基础上,采用矩阵理论和布尔代数为工具,给出了有限自动机r阶输入存贮性质判定的新方法。该方法不仅有利于算法设计和计算机自动处理,也促进了有限自动机的研究和发展。

摘要：介绍了提供高可用性的双机系统的原理、部署和体系结构;定义了双机系统各部件功能,描述了子系统间的接口,给出了该双机系统的有限自动机。该自动机具有有限数目的内部状态,模拟了双机系统的工作原理及内部各状态的相互转化,描述了服务切换、进程与服务监控、心跳侦测、网络参考点侦测等过程,为双机系统的行为描述和结构设计提供了理论依据和论证。

摘要：本文将硬件设计语言 RTL 以及逻辑流程图用于有限自动机的逻辑分析,并为此建立了相应的定理和转换规则。

摘要：提出一种针对有限自动机公钥密码系统的攻击算法,它可在多项式时间内破译有限自动机公钥密码方案FAPKCO。这一算法的基本思想,原则上也可用来攻击其他有限自动机公钥密码方案,因而在设计新的有限自动机公钥密码系统时,必须讨论它是否经得住这种方法的攻击。

摘要：阐述了有限自动机理论及其在高速公路车道收费控制中的应用 ,最后描述了系统硬件结构框图和软件设计。

摘要：利用有向图的邻接矩阵研究有限自动机的可识别语言的基数问题。通过建立有限自动机的可识别语言与其有向图中从初始结点(有限自动机的初始状态)到终止结点(有限自动机的终止状态)的路的一一对应关系,利用邻接矩阵给出了有限自动机的可识别语言的基数公式,研究了两个自动机不等价的充分条件。

摘要：针对早期系统只提供原子事件的检测机制,不能检测由原子事件组成的复合事件的问题,提出了用有限自动机来检测复合事件的方法。说明了复合事件的组成和表达式,利用自动机原理对复合事件的检测模式进行了分析,给出了复合事件检测的具体过程:从事件表达式到不确定的有限自动机,从不确定的有限自动机到最小化确定的有限自动机,再用程序实现了确定的有限自动机。实例表明,自动机模型是检测复合事件的一种有效实现方式。