2.4 理论基础

我们现在讨论的 scanner，parser，regular expression，以及 context-free grammar 都是基于自动化理论的形式化部分。在自动化理论中，所有的形式化语言都是从有限 alphabet衍生出来的字符串集合。【略】