:::生平.拉宾出生于德国布雷斯劳（二战后成为波兰弗罗茨瓦夫），父亲是一个拉比。1953年，他获得希伯来大学的理学硕士，1956年获普林斯顿大学博士学位。1959年，拉宾和达纳·斯科特共同发表了“有限自动机与其判定性问题”（）的论文，提出了非确定自动机的观点。他们也因此获得了1976年的图灵奖，并做“计算机复杂性”（）的演讲。图灵奖的引文是：非确定自动机已经成为计算复杂度理论中的一个重要概念，特别是在描述P与NP问题的复杂度类时。1969年，拉宾证明N successors的二阶逻辑是可判定