形式文法(けいしきぶんぽう、"formal grammar")は、形式的に与えられた(形式体系を参照)文法である。