本章将对形式语言和有限自动机理 论中所需的数学基础知识作扼要的 介绍。内容包括集合及其运算、关 系、证明的方法、图与树的概念 以及一些常用术语和形式语言与自 动机的发展

问题的提出 1900年 D. Hilbert 在巴黎第二届数学家大会上提出 著名的23个问题. 第10个问题:如何判定整系数多项式是否有整数根? 要求使用“有限次运算的过程” 1970 年证明不存在这样的判定算法, 即这个问题是 不可判定的, 或不可计算的

一、时序电路(sequential circuit)：电路某一时刻的稳定输出不仅取决于当前输入(present input )，还取决于过去输入(past input)。触发器作为记忆元件保存了过去的输入。 二、现态与次态：过去的输入用触发器的内部状态来表示，称为现态(present state);当前输入之后转变后的状态称谓次态(next state)。时序电路在外部激励下改变状态，因此，时序电路就是有限状态自动机。 三、在描述触发器功能时，我们用了Q0表示现态，Q表示次态。下面我们会用更一般的描述，Qn表示现态，Qn＋1表示次态

利用移动边界法得到22CrMoH连铸坯凝固过程中的温度场,在此基础上采用元胞自动机——有限元(CAFE)法对22CrMoH齿轮钢连铸坯的微观组织进行数值模拟,模拟结果与实际样品微观组织形貌基本吻合;探讨了Cr、Mo、Si和Mn等合金元素含量对铸坯微观组织的影响趋势.结果表明,在该钢号规定的范围内,适当提高Si、Mn元素含量能够提高等轴晶比例,使晶粒数目增加,晶粒平均半径减小;Mo含量的提高能够明显增加形核数量;适当减少Cr含量有助于提高等轴晶的比例,但对晶粒数目和尺寸影响较小.对22CrMoH钢中合金元素进行优化调整结果显示,连铸坯凝固组织得到了明显改善,等轴晶的比例提高近1倍,晶粒数目提高了19.96%,晶粒平均半径减小9.20%

◼ 确定型有穷自动机(DFA) ◼ 非确定型有穷自动机(NFA) ◼ 带ε转移的NFA(ε-NFA) ◼ 用ε-NFA模拟右线性文法 ◼ 用右线性文法模拟DFA

提出了一种基于元胞自动机的井巷火灾可视化仿真方法.在矿井巷道可视化的基础上,通过对火灾元胞进行表征,综合考虑可燃物类型与投放密度、井巷通风、井巷坡度等因素对井巷火源引燃效果的影响及双扩散作用、井巷通风、浮力作用和节流作用等因素对火灾烟气蔓延效果的影响,采用概率函数进行元胞自动机建模,构建了表达元胞温度的井巷火源燃烧模型和表达元胞浓度的井巷火灾烟气蔓延模型.基于火源元胞燃烧演化规则和烟气元胞蔓延演化规则,通过可视化手段展示了井巷火灾火源燃烧和有害气体浓度的时空发展变化.同时以矿山实际数据进行检验,说明了基于元胞自动机的井巷火灾仿真的可行性与有效性

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

第1章预备知识第2章编译程序概述第3章文法和语言的形式定义第4章词法分析与有穷自动机第5章自上而下语法分析第6章自下而上语法分析第7章语法制导翻译第8章符号表第9章运行阶段的存储组织与分配第10章代码优化第11章代码生成第12章错误的检测与处理第13章综合题

• 词法分析器的作用 • 词法单元的规约 • 词法单元的识别 • 词法分析器生成工具Lex • 有穷自动机 • 从正则表达式到自动机 • 词法分析器生成工具的设计方法

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