类型
机器语言：0/1编码的指令。
汇编语言：为机器语言编制的助记符系统。
命令型语言：开发一个命令序列，遵照这个序列，对数据进行操作以产生所期望的结果。如：脚本语言（通常用来执行管理任务，一个脚本可以描述一系列活动）
函数式语言：将程序可以看作是接受输入和产生输出的实体。
面向对象语言：将软件系统看作是一个对象集合，每一个对象都能够执行与自己相关的动作以及其他对象请求的动作。
现在的高级语言通常是命令型语言，函数式语言和面向对象语言中的组合。
组成
声明语句
定义了程序中后面要用到的自定义术语。
如：用来引用数据项的名字。
数据类型：决定了数据项的编码方式以及在该数据上可执行的操作。
命令语句
描述了潜在的算法里的步骤。
注释
用来解释代码，提高可读性。
会被词法分析器忽略。
翻译
将一个程序从一种语言转换为另一种语言的过程。
源程序：原始形式的程序。
目标程序：翻译后的版本。
源程序——>词法分析器——>语法分析器——>代码生成器——>目标程序
词法分析：识别源代码中构成单个实体（标记）的符号串的过程。
词法分析器逐个符号地读源代码，识别出哪些符号组合可以代表一个标记，然后进行分类。对每一个标记及其分类进行编码，并将它们提交给语法分析器。
文法：一系列定义了程序设计语言语法的规则。
语法分析器按照文法生成语法分析树。
代码生成将生成机器语言指令。
ps：通用机器语言（Java中称为字节码，C#中称为通用中间语言）：在执行前会被快速翻译称为适合本地机器的机器语言。
面向对象编程
类：是一个模板，对象由这个模板创建出来。
对象：类的一个实例。