01 / 导读
导读
适合谁
适合从编程转向计算数学模型的学生。前半建立证明语言，后半介绍形式语言和机器，适合代码经验较多而一般命题证明经验较少的读者。
需要的基础
需要编程入门和中学代数。正文先教逻辑、集合和函数，不要求先修离散数学。
覆盖内容
从逻辑、集合、函数与关系进入正则表达式、有限自动机、文法和图灵机，将语言描述与模型能力联系起来，不替代全面复杂性理论。
如何使用
将程序条件写成逻辑命题并检验量词。为简单语言构造自动机，追踪应接受与拒绝的字符串；证明限制前写清模型和目标，不能把几个测试输入当作全称证明。
版本与来源
作者页提供完整2.3.2版本，采用CC BY-NC-SA 4.0。底本为2011年修订，后有许可和PDF链接改善；不把文件变化算成新出版年，也不猜ISBN。
