文法是用于描述語言的語法結(jié)構(gòu)的形式規(guī)則。任何一種語言都有它自己的文法，不管它是機器語言還是自然語言。

就像自然語言里有主謂賓這樣的文法一樣，機器語言也有描述它語言構(gòu)成的特定文法，如： S->ABA A->0|2|4|6 B->BA|3 就是一種文法。文法可以定義為一個四元組。