定自动机的观点。他们也因此获得了1976年的图灵奖，并做“计算机复杂性”（）的演讲。图灵奖的引文是：非确定自动机已经成为计算复杂度理论中的一个重要概念，特别是在描述P与NP问题的复杂度类时。1969年，拉宾证明N successors的二阶逻辑是可判定的。证明的关键部分暗示了的确定性。1975年，拉宾发明了米勒-拉宾检验，这是一个相当快速的随机化算法（有较小的可能性错误），用于判断一个大数是否是素数。 快速素数检验是目前大部分公钥密码体系的关键。1979年，拉宾发明了第一个非对称密码系统——。它的安全