文法

描述语言语法结构的形式称为文法。

文法的分类

在程序设计语言的语法基本上都是上下文无关文法，即2型文法。

词法分析

正规式和正规集

有限自动机

有限自动机是一种识别装置的抽象概念，它能够正确地识别正规集。
确定有限自动机（DFA）
不确定有限自动机（NFA）

例题：下图所示的有限自动机，其中A是初态，C是终态，该自动机可识别（0000、1111、0101、1010）中的哪个

正规式

表达式

对于一棵树，中序遍历得到中缀表达式，前序遍历得到前缀表达式，后序遍历得到后缀表达式。

例题答案选D

各种语言特点

1. Fortran语言：科学计算，执行效率高
2. Pascal语言：为教学而开发，表达能力强，Delphi
3. C语言：指针操作能力强，高效
4. Lisp语言：函数式程序语言，符号处理，人工智能
5. C++语言：面向对象，高效
6. Java语言：面向对象，中间代码，跨平台，交互能力，软硬件独立性
7. C#语言：面向对象，中间代码，运行于.NET
8. Prolog语言：逻辑推理，简洁性，表达能力，适合数据库、自动定理证明、自然语言理解和专家系统
9. Python语言：面向对象、解释型、脚本语言、支持对操作系统底层访问