フリップフロップ1個につき一つの状態を定義したシーケンサの設計手法．
　出力にハザードが発生しない，高速動作が可能などの特徴がある．