摘要:导语——非确定性有限状态自动机理论的开创者1976年度的图灵奖由当时在以色列希伯莱大学任教授的米凯尔,拉宾(Michael O.Rabin)和在英国牛津大学任数理逻辑教授的达纳·斯科特(Dana Ste[阅读全文]