问问关于状态机的问题？

问个关于状态机的问题，书上说的三段式状态机的第三段，同步时序的状态输出部分的状态到底是当前态还是次态啊?有的书写的是次态,case(next_state)，有的写的是case(cur_state)。

第三段的条件是nextstate，第二段是根据当前状态求得下一状态，第一段是下一状态赋值给当前状态