关于状态机的一个问题

在一些关于状态机的论文中提到，在给nextstate赋值的case语句开始，给nextstate附于x，但是对于那种有多于状态的状态机，如果进入错误状态，也就是没在case中写道的状态中时，岂不是回不到正常状态了？

这样的问题可以在状态机设计的主题讨论中说明。

可以看一下synplify的online document

to:phoenixfeng<br>
could you tell me which part of sold should i read? TThanks

这样的问题可以在状态机设计的主题讨论中说明。