计算理论导引

本书系统地介绍了计算理论的三个主要内容:自动机与语言、可计算性理论和计算复杂性理论。

2006.07

计算理论基础

本书介绍计算理论,包括形式语言与自动机、可计算性和计算复杂性三部分内容。

2006.08