形式文法formal grammar)係指一套指明一種語言入面點樣組成合理嘅句子嘅法則。