虽然不是入门教材，但个人感觉这才是真正的“计算机文化基础”，看看章节目录就会爱不释手。目录1、1字符串、字母表和语言第一章 预备知识1、2图和树1、3归纳证明1、4集合1、5关系1、6本书提要2、1有穷状态系统第二章 有穷自动机和正规表达式2、2基本定义2、3非确定有穷自动机2、4具有∈动作的有穷自动机2、5正规表达式2、6双向有穷自动机2、7具有输出的有穷自动机2、8有穷自动机的应用3、1正规集合的泵作用引理第三章 正规集合的性质