编译过程
编译型：写完才能运行
解释型：写一句执行一句
词法：分析关键字有没有打对
语法：分析有没有语法错误 比如：if 后面括号完整
语义：只能发现部分的语义问题，机器检查不可能发现所有的问题
中间代码：
目标代码：可执行的代码，涉及到操作系统和底层硬件
有些编译不会产生可执行的代码，而是产生中间代码：比如JAVA，屏蔽不同系统，硬件的差异，从而实现跨平台
文法定义
终结符：一般是小写字母的组合 比如：{a,b}
非终结符：大写字母 {S,A} 可以退出其他的符号 大S可以推到出其他的产生式，但
是终结符不可以推出其他的产生式，a就不可以，所以a是终结符
S起始符
P产生式
这里我的笔记有点问题，推导式是指函数式，而不是推出来的式子
有限自动机（重点）
和正规式存在互相转换的情况
正规式
有限自动机的另外一种表达形式
**上面这个图作用不大，只是书面介绍**
这里直接带入（1）中的正确选项，看（2）哪些正规式可以表达出（1）中所有的正确选项，但是即使能够全部选项都表达出来，也不说明他是正确答案，可能存在范围过广的情况
有限自动机例题
表达式
利用树的遍历用前缀表达式和后缀表达式
括号不用加进树里面去，由优先级决定
函数调用-传值与传址
函数调用的两种方式
各种程序语言的特点
**核心**
少见的语言：Lisp 人工智能
Prolog 逻辑推理