前言

在很久很久以前，數學家門研究怎樣產生電腦，和研究怎樣令電腦運作, 這門的學問叫 Theory of computation (真的是 theory, 因為都是抽象的電腦), 當中有兩個分支:

• Automata theory 研究機械怎樣計算
• Formal language 研究 language, language 是給 automata 計算的東西
…