状态化简

根据功能描述,写出所有的状态,但是能够进行化简

1.等价状态

原始状态中两个状态是不是(现态)等价状态条件:
1.输出完全相同,可能有多种输入情况,输出必须完全相同
2.次态等效
次态等效的情况:

  • 次态相同
  • 各自维持原来状态
  • 次态交错