あらかじめ決められた複数の状態を，決められた条件にしたがって，決められた順番で遷移していくディジタル・デバイス．