状态转移表
展示有限半自动机或有限状态自动机基于当前状态和其他输入,要移动到什么状态的表格
自动机理论时序逻辑中,状态转移表是展示有限半自动机有限状态自动机基于当前状态和其他输入,要移动到什么状态(或在非确定有限状态自动机情况下那些状态)的表格。“状态表”本质上是其中某些输入是当前状态,而输出包含与其他输出在一起的下一个状态的真值表
简介
状态表是指定“状态机”的多种方式之一,其他方式包括状态图,和“特征等式”。
常见形式
一维状态表
也叫做特征表,一维状态表比二维版本更像真值表。输入通常放置在左侧,分隔于在右侧的输出。输出将表示这个机器的下一个状态。下面是有两个状态和两个组合输入的状态机的简单例子:
S1和S2最可能表示单一位0和1,因为单一位只有两个状态。
二维状态表
状态转移图典型的是二维表。有两种安排它们的常用形式。
(S:状态, E:事件, A:动作, -:违法转移)
(S:状态, E:事件, A:动作, -:不可能转移)
变换成状态图
有可能从表格绘制状态图。下面给出步骤:
参考资料
最新修订时间:2024-05-21 14:00
目录
概述
简介
常见形式
参考资料