定义1：每个句子是一串符号。这个字符串是某一种语言词汇表中一个或多个符号组成（不是任意的，从某种语言角度定义的）。 　　定义2：一种语言是一个句子的集合，它包含这种语言的所有句子。 　　定义3：一种语法是对一个句子集合的一种有限化的表述。是对一个句子是否是某一语言合法句子的判据。 　　语法可以采用不同形式来定义。如果一种语言只包含有限个句子，那么可以通过逐一枚举的方式来定义。然后大多数有研究价值的语言通常都拥有无限多个句子。我们可以利用一种基于产生式的形式化的工具来描述这类语言。这种被广泛用来描写形式语言和自然语言的工具称为产生式语法或短语结构语法（phrase-structure grammar）。