• クロックにより状態が変化
• プログラミング = 状態遷移
• CPU = 状態遷移マシン