《表1 有限状态机的表示方式》
一个有限状态机是一个5元组(Q,I,T,S,F),其中:Q是一个有限非空的状态集合;I是一个有限非空的输入集合,也称作事件;T是一个函数:Q×I→Q,称为状态跃迁函数;S是一个初始状态:S€Q,在一个有限状态机中初始状态只能有一个;F是最终状态的集合:F€Q,在一个有限状态机中可以有多个最终状态。有限状态机理论认为,一个给定的系统可以有很多状态,但在一个特定的时间系统只能处于一个状态。系统从一个状态到另一个状态的迁移,依靠外部事件来触发,同时,状态的转移也需要依靠一定的标志量[2]。有限状态机是由一个有限状态和一个相互迁移组成,在任何时候只能处于给定数目状态中的一个。当接收到一个输入事件时,状态机仅产生一个输出,同时也伴随着状态的迁移。有限状态机有2种方法:一种是图形的方法,另一种是表格形式。表1给出了表格表示方式。
图表编号 | XD00169624600 严禁用于非法目的 |
---|---|
绘制时间 | 2020.04.10 |
作者 | 韩慧超、吴长水 |
绘制单位 | 上海工程技术大学机械与汽车工程学院、上海工程技术大学机械与汽车工程学院 |
更多格式 | 高清、无水印(增值服务) |