在计算机科学中，正则文法是产生式规则取下述形式的一种形式文法（"N", Σ, "P", "S"）：下面给出一个正则文法的例子：文法"G" = ("N", Σ, "P", "S")，其中"N" = {S, A}，Σ = {a, b, c}，S是起始符号，"P"包含下述规则：这个文法描述的语言也可以用正则表达式a*bc* 来表达。正则文法描述的语言构成了正则语言类，正则语言类中的语言也可以由有限状态自动机或正则表达式来表达。