第二章 程序语言与语言处理程序

1. 逻辑型语言使用于书写自动定理证明Prolog
   函数型语言适用于人工智能领域lisp ml
   命令式程序设计语言有Fortran Pascal C
   面向对象语言c++ java smallTalk
2. 传值调用:将实参值给形参
   引用调用：将实参地址传递给形参。
3. 编译原理：源程序->词法->语法->语义->中间代码->代码优化->目标代码
   词法：识别单词符号（正规式、有限自动机）
   语法：表达式、语句
   语义：（静态）类型与机器无关 （动态）死循环、0除数
4. DFAM字符串：L(M)={w|w是弧上标注形成的串}
5. 正规式定义：描述固定重复次数
   a^*={a,aa,aaa,……}
6. DFA和正规式等价转换：
   初态:箭头指向刚开始
   终态：两个圈
7. 后缀表达式：符号为连接的根节点；先构造二叉树（注意每段整体位置顺序）。