すべての計算機は状態遷移機械
クロックにより状態が変化
プログラミング = 状態遷移
CPU = 状態遷移マシン