按计算机科学这门学科中的常用讲法，“语法（grammar）”用于“描述（describe）”一门“语言（language）”。

自然语言很有意思也异常复杂，在 CS 学科中我们从很抽象的视角使用了从其沿用过来的名词。一门语言会有句子，句子会有特定结构，我们不必关心句子所谓交流上的意义，但是由句子的结构衍生出来的信息，我们不妨称其为句子的意义（meaning）。句子包含单词（word），CS 中对应的是记号（token），每个都包含一点信息，构成句子时对句子的意义做出贡献。 递归去看，word 也有自己的结构，实际上它也是一门语言的句子。