论文部分内容阅读
有穷自动机是一种关于系统状态变迁与时间关系的数学模型，20世纪40年代和50年代分别由McCulloch、Pitts和Moore等建立了自动机模型，经过半世纪多的发展，它已经成为一门完善的离散数学理论分支，广泛应用于形式语言、数字电路、计算机编译程序和操作系统等各个方面。自动机分为确定性（DFA）和非确定性两种（NFA），NFA可通过闭包算法转变为DFA，本文将探讨DFA在自动化控制方面的应用。