计算理论导引MichaelSipser(美)麻省理工学院(MIT)张立昂王捍贫黄雄译(北京大学)主要内容:自动机与语言、可计算性和计算复杂性