3.1 有限状态自动机 3.2 有限状态自动机接收语言 3.3 DFA接收语言的例子 3.4.1 不确定的有限状态自动机 3.4.2 NFA的确定化 3.5 带ε动作的有限状态自动机 3.6 有限状态自动机的一些变形 3.7 有限状态自动机的存储技术

 1 理想介质中的均匀平面波  2 平面波的极化  3 有耗媒质中的均匀平面波  4 均匀平面波对平面分界面的垂直入射  5 均匀平面波对理想导体表面的斜入射  6 均匀平面波对理想介质表面的斜入射

§1 共形映射的概念 §2 分式线性映射 §3 唯一决定分式线性映射的条件 §4 几个初等函数所构成的映射

5.1.1 确定的下推自动机 5.1.2 不确定的下推自动机 5.1.3 PDA接收语言的两种方式 5.1.4 广义PDA和单态PDA 5.2 上下文无关文法和范式 5.3 PDA与上下文无关语言

1.1 集合及其运算 1.2 关系 1.3 证明和证明的方法 1.4 图与树 1.5 语言 1.6 常用术语 1.7 形式语言与自动机的发展

第一节 单元分类 第二节 单元特性定义 第三节 常见单元类型

第一节 热传导方程及热边界条件 第二节 热分析有限元法的一般步骤

第一节 有限元法的产生与基本思想 第二节 有限元法的应用 第三节 有限元法在产品开发中的作用

• §4.1 交换作用的物理图象 • §4.2 海森堡交换模型 • §4.3 间接交换作用 • §4.4 稀土金属自发磁化理论

1.1 度量空间的定义 1.2 完备性 度量空间中的开集和闭集 纲与 Baire 纲定理 度量空间的重要性质 Arzela-Ascoli 定理 Banach 压缩映象原理 6.1 Banach 压缩映像原理的应用 常微分方程的初值问题解的正则性：Picard 定理 在积分方程中的应用 Newton 迭代法的收敛性