计算理论导引
Michael Sipser（美） 麻省理工学院（MIT）
张立昂 王捍贫 黄雄 译（北京大学）
主要内容：自动机与语言、可计算性和计算复杂性
2021-09-10 10:41:33
7.03MB
1