FSM 설계 방법에 관해 질문드립니다.

그러면 혹시 Sequential logic만으로 FSM을 구현하면 안되는 이유가 있나요? 제가 이 질문을 드렸던 이유는, always(*) state machine 로직always(posedge clk) state 변화 위와 같은 코드를 always(posedge clk) FSM 로직 + state 변화 이러한 방식으로 구현하면 안되는 지 궁금했기 때문입니다.