在计算机科学中，文法是的基础，是描述一门程序设计语言和实现其的方法。文法的描述多用BNF(巴克斯范式)，而另一个重要的概念:正则表达式，也是文法的另一种形式。

文法其实是以有穷的集合刻画无穷的集合的一个工具。

程序设计语言中的几类单词可用下述规则描述：

〈标识符〉→l|l〈字母数字〉

〈字母数字〉→l|d|l〈字母数字〉|d〈字母数字〉

〈无符号整数〉→d|d〈无符号整数〉

〈运算符〉→+|-|*|/|=|〈〈等号〉|〉〈等号〉……

〈等号〉→=

〈界符〉→，|；|(|)|……

再比如：

C→aCA 　Ba→aB

C→bCB 　Bb→bB

AD→aD 　C→ε

BD→bD 　D→ε

Aa→bD