一、程序设计语言及其构成
1.常见的高级程序语言
Fortran:第一个高级程序设计语言，用于并行计算、科学计算和高性能计算；Lisp：函数式程序语言，用于符号处理、人工智能；PROGLOG：逻辑式语言，建造专家系统、自然语言理解、智能知识库等；SQL：结构化查询语言
2.通用的程序设计语言
C,C#,C++,JAVA,PHP,Python,JavaScript等。
3.标记语言
非编程语言，如HTML、XML、XHTML。
程序设计语言的构成：
数据成分：常量、变量、数据类型等；运算成分：程序语言允许使用的运算符及运算规则；控制成分：顺序结构、选择结构、循环结构；
二、表达式
1.表达式的类型及转换规则
前缀表达式(+ab)中缀表达式(a+b)后缀表达式(逆波兰式)(ab+)
示例：
中缀表达式(ab)(c+5)(a-b)*(c+5)(ab)(c+5)转为后缀表达式：abc5+ab-c5+*abc5+运算规则：运算对象放到栈内，符号：取2个元素计算
1.a入栈
2.b入栈
3.遇到运算符-
弹出b，弹出a，排列成：ab，把符号放在当中进行运算：aba-bab，结果设为x，放入栈中。
4.c入栈
5.5入栈
6.加号运算
弹出5,弹出c，摆放：c5c5c5中间放加号：c+5c+5c+5，结果计为y，入栈：
7.乘运算
弹出xyxyxy，放入乘号：xyx*yxy，计算最终结果。
2.数据类型
3.传值与入传址
intfunctionName(intx,inty)intfunctionName(intx,inty)intfunctionName(intx,inty)
三、语言处理程序
将高级语言转换成低级语言，分为：汇编、编译和解释程序。解释程序：直接解释执行源程序；编译程序：会生成目标语言程序；
1.汇编程序
把汇编语言写程序翻译成与之等价的机器语言的翻译程序。主要过程中两次扫描：
定义符号的值并创建符号表ST；生成机器语言，产生目标程序。
2.解释程序
也分为词法、语法、语义分析。
3.高级语言执行过程
4.编译程序
5.编译过程
词法分析：从左到右扫描源代码里的字符，识别关键字、保留字、标志符、常量等。语法分析：语言结构、少符号等等语义分析：静态语义错误，如运算符和运算类型不符、取余时用浮点数；出错处理：静态错误：分为语法错误和静态语义错误；动态错误：发生程序运行时，程序可通过编译，如除0错误；
四、有限自动机和正规式
和程序开发中的正则表达式类似，这里忽略具体内容。