ACM A. M. Turing Award

1976

多条可能路径，一个精确模型

理论与算法1976

插画肖像：达纳·斯科特

插画肖像：迈克尔·拉宾

多条可能路径，一个精确模型

非确定性自动机让分支计算成为可分析的数学对象。

达纳·斯科特迈克尔·拉宾

浏览所有年份 ↗