摘要
有穷自动机是一种关于系统状态变迁与时间关系的数学模型,20世纪40年代和50年代分别由McCulloch、Pitts和Moore等建立了自动机模型,经过半世纪多的发展,它已经成为一门完善的离散数学理论分支,广泛应用于形式语言、数字电路、计算机编译程序和操作系统等各个方面。自动机分为确定性(DFA)和非确定性两种(NFA),NFA可通过闭包算法转变为DFA,本文将探讨DFA在自动化控制方面的应用。
Finite automation is a mathematical model of the system state changes with the time automation model by McCulloch Pitts and Moore in the 1940s and 1950s,after half a century of development ,it has become branch of discrete mathematics theory ,widely used in formal language ,all aspects of digital circuits ,computer complier and operating system Automata Divided into deterministic（DFA） and non-deterministic（NFA）, NFA by closure algorithm change for the DFA ,the article will explore the application of DFA in the automation control.
出处
《自动化与仪器仪表》
2012年第6期105-108,共4页
Automation & Instrumentation
