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. 后缀表达式：符号为连接的根节点；先构造二叉树（注意每段整***置顺序）。