1976年图灵奖

获奖原因：     在1959年发表的论文“有限自动机及其判定问题”中提出了非确定性有限状态自动机这一概念。 图灵奖引用： 授 予 MichaelO. Rabin与DanaSteward Scott图灵奖以表彰合作撰写的研究论文“有限自动机与其判定性问题”。在该研究论文中，提出了非确定性自动机的观点。它被证明是一个极富价值的重要概念。 Rabin和Scott的这篇经典文章成为这个领域后续研究的基石

>>阅读原文<<