语言是由句子组成的集合，是由一组符号所构成的集合。
汉语--所有符合汉语语法的句子的全体
英语--所有符合英语语法的句子的全体
程序设计语言--所有该语言的程序的全体
| 研究语言 |  |
每个句子构成的规律 每个句子的含义 每个句子和使用者的关系 |
|
| 研究程序设计语言 | |
每个程序构成的规律 每个程序的含义 每个程序和使用者的关系 |
|
| 语言研究的三个方面 | |
语法 Syntax 语义 Semantics 语用 Pragmatics |
语义 -- 表示按照各种表示方法所表示的各个记号的特定含义。（各个记号和记号所表示的对象之间的关系）
语用 -- 表示在各个记号所出现的行为中，它们的来源、使用和影响。
每种语言具有两个可识别的特性，即语言的形式和该形式相关联的意义。
语言的实例若在语法上是正确的，其相关联的意义可以从两个观点来看，其一是该句子的创立者所想要表示的意义，另一是接收者所检验到的意义。这两个意义并非总是一样的，前者称为语言的语义，后者是其语用意义。幽默、双关语和谜语就是利用这两方面意义间的差异。
如果不考虑语义和语用，即只从语法这一侧面来看语言，这种意义下的语言称作形式语言。形式语言抽象地定义为一个数学系统。“形式”是指这样的事实：语言的所有规则只以什麽符号串能出现的方式来陈述。形式语言理论是对符号串集合的表示法、结构及其特性的研究。是程序设计语言语法分析研究的基础。