迈克尔•西普塞(Michael Sipser)

本书由计算理论领域的知名权威MichaelSipser所撰写。他以独特的视角，系统地介绍了计算理论的三个主要内容：自动机与语言、可计算性理论和计算复杂性理论。作者以清新的笔触、生动的语言给出了宽泛的数