自动机

计算机控制系统的控制程序具有有限状态自动机(FA)的特征,可以用有限状态机理论来描述。有限自动机(FiniteAutomataMachine)是计算机科学的重要基石,它在软件开发领域内通常被称作有限状态机(FiniteStateMachine),是一种应用非常广泛的软件设计模式。

资源总数
500

自动机 热门资料

查看全部 500 份 →

用多个时间自动机来规范模拟风洞试验自动控制系统,给出了一种自动化的风洞试验控制模型(CRW),并采用实时系统验证工具Uppaal 对CRW 进行了验证,证明了该模型具有安全性、有效性和可控性。

2023-12-13 10 自动机

VHDL编写的自动售货机,带找零、退币功能,数字电路课程设计!内附常态图,和dofile波形模拟文件

2014-11-18 141 自动机