>>452
> たとえば、CPUのエミュレータの場合、I/Oポートからの入力命令があれば、>>445のモデルは破錠するでしょ。

その場合はI/Oの入力時系列も引数にいれればいいんじゃない?
要は次の状態を決めるものはなんであれ引数におしこんでしまう、と。