計算機とは
状態遷移機械
である
状態はプログラムや外部要因で変化していく
ディジタル論理回路で構成されている