-
状态集合:自动器有多个状态,每个状态是一个节点,代表系统当前的运行状态。
-
输入集合:自动器接受一组输入信号,每个输入信号对应一种符号,用于触发状态转换。
-
转移函数:定义了每个状态和输入下的下一个状态,自动器使用这个函数在接收到输入时,自动选择下一个状态。
-
自动选择规则:当自动器接收到输入时,根据当前状态和输入,通过查找转移函数,确定下一个状态,从而自动选择下一步节点。
例子:
- 状态集合:{A, B, C}
- 输入:{, 1}
- 转移函数:
- A输入→B
- A输入1→C
- B输入→A
- B输入1→C
- C输入→A
- C输入1→B
当自动器在状态A接收到输入时,根据转移函数,自动选择下一个状态为B,即自动选择下一个节点为B。
自动器在处理输入时,通过状态集合、输入集合和转移函数,自动选择下一个状态,实现高效的状态转换,无需手动控制。
