Ngôn ngữ
Không có dữ liệu
Thông báo
Không có thông báo mới
という論文を発表し、非決定性有限オートマトンのアイデアを明らかにした。これが計算複雑性理論の基礎概念となったことから、ラビンと共にチューリング賞を受賞した。 彼の業績はオートマトン理論、公理的集合論、プログラミング言語の意味論、言語哲学等、多岐にわたっており、1959年にマイケル・ラビンと共同で発表したオートマトン理論に関する研究
の名家に生まれた。デイナは1831年にハーバード大学に入学したが、1834年に麻疹の後遺症で目に障害を負い、大学を退学した。 大学退学後、デイナは平水夫となり、ホーン岬廻りでアルタ・カリフォルニアを目指した。当初はヨーロッパでグランドツアーをする意向を持っていたが、視力障害により断念した。デイナは