在计算机科学中，前缀文法是类似形式文法的一种文法，这里的字符串是从基础字符串通过不断的替代前缀建造出来的。前缀文法精确的描述了所有正则语言。
形式定义.前缀文法 "G" 是3-元组 (Σ, "S", "P")，这里的 每个产生式 "u" → "v" 只可以应用于形如 "uw" 的字符串。
例子.一个简单的例子前缀文法可以定义为它描述如下正则表达式所定义的语言
性质.前缀文法生成前缀闭合的语言。