オートマトンと状態遷移図<ハードウェアとソフトウェア<Web教材<木暮仁