有限自动机在自动控制软件分析中的应用  

作　　者：赵丽敏[1] 曹金凤[1] 宋秀芹[1] 

机构地区：[1]德州学院计算机系

出　　处：《中国科技信息》2007年第9期127-128,共2页China Science and Technology Information

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

关 键 词：有限自动机 自动控制 软件分析 数学模型 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论] TP301[自动化与计算机技术—计算机科学与技术]