3.1 对于词法分析器的要求 3.2 词法分析器的设计 3.3 正规表达式与有限自动机 3.4 词法分析器的自动产生--LEX

• 扫描处理 • 从正则表达式到D FA • 正则表达式 • TINY扫描程序的实现 • 有穷自动机 • 利用L e x自动生成扫描程序

3.1 词法分析程序 3.2 正规表达式与正规集（正规语言） 3.3 有穷自动机 3.4 词法分析程序的自动构造

南京大学：《非线性物理学》课程电子教案（课件讲稿）非线性物理元胞自动机2/3

《编译原理》课程教学资源（PPT课件讲稿）从正则表达式到有限自动机

• 直观地介绍余归纳的定义、余归纳的证明原理和余代数 • 形式地介绍递归类型 • 形式地介绍归纳类型和余归纳类型 • 解释 – 代数方法是从“构造的”角度研究抽象数据类型 – 余代数方法是从“观察的”的角度描述像对象、自动机、进程、软件构件等基于状态的系统

形式语言概述 文法推断 句法分析 自动机理论 误差校正句法分析

The halting problem is undecidable Decidability

◼ knowledge of a basic formalism for modeling timed systems ◼ basic understanding of verification algorithms for timed systems (useful for practical modeling and verification)

南京大学：《形式语言与自动机 Formal Languages and Automata》课程教学资源（PPT课件讲稿）Transition System