01 / 导读
导读
适合谁
适合研究生及基础扎实的高年级本科生，在自动机入门之后拓宽理论视角。本书强调具体模型所耗资源，帮助把电路、有记忆机器和架构限制放在同一形式框架中。
需要的基础
建议具备计算机组成、离散数学和证明能力，复习布尔逻辑、图、渐近分析和归纳。先学算法有助于理解复杂度及资源取舍论证。
覆盖内容
由逻辑电路和有记忆机器进入自动机、可计算性、代数电路及并行计算，后半发展复杂度类、电路复杂度、时空取舍、存储层次和VLSI模型。
如何使用
选小问题并先明确输入规模，再比较两种模型；画电路或机器状态，按该模型的定义计数资源。重建模拟论证并指出额外开销，分析下界依赖哪些假设、换模型后何以失效，不把存储层次例子泛化成无限制机器结论。
版本与来源
作者完整电子发布来自1998年Addison-Wesley作品并修正已知错误，权利已归还作者。网站明确2008年7月电子版CC BY-NC-ND 3.0 US，电子开放日与原版年份、后续网页更新分开。
