ノイマンは1948年のhixon symposiumにて "the general and logical theory of automata" と題した論文を読む。