文法是用于描述语言的语法结构的形式规则。任何一种语言都有它自己的文法，不管它是机器语言还是自然语言。就像自然语言里有主谓宾这样的文法一样，机器语言也有描述它语言构成的特定文法，如： S->ABA A->0|2|4|6 B->BA|3 就是一种文法。文法可以定义为一个四元组。