Q：What is a computer?
A：数学视角下的computer称为computer model，它具有精确的定义。
本书共提出三类computer model：
本章介绍最简单的一类：Finite Automata (FA）、Regular Expression（RE）