目前，我正在研究一种检测 17 位序列10100001010000001的 fsm。由于序列的长度，当输入不允许我进入下一个状态时，我很难弄清楚要返回到哪个状态。任何建议？？
考虑一下，当未满足预期的模式时，满足以前的模式。10100001010000001 Mealy 机器的 FSM 如下所示，采用 ASCII 艺术(不确定它将如何在这里呈现......
s0-1->s1-0->s2-1->s3-0->s4-0->s5-0->s6-0->s7-1->s8-0->s9-1->s10-0->s11-0->s12-0->s13-0->s14-0->s15-0->s16-1->s17-0->s2
| | | | | | | | | | | | | | | | | |
0 1 0 1 1 1 1 0 1 0 1 1 1 1 1 1 0 1
| | | | | | | | | | | | | | | | | |
s0 s1 s0 s1 s3 s1 s1 s0 s1 s0 s1 s3 s1 s1 s8 s1 s0 s1