更新时间：2022-10-24 23:27
正则文法：又称为3型文法。这种文法分为两种类型：第一类要求生成式的形式必须是A→ωB或A→ω，其中A，B都是变元，ω是终结符串，这种特殊的正则文法称为右线性文法。第二类正则文法称为左线性文法，它要求生成式必须是A→Bω，或A→ω的形式。由正则文法生成的语言称为正则语言，它恰是有穷自动机所识别的语言类。
这个文法描述的语言也可以用正则表达式a*bc* 来表达。
正则文法描述的语言构成了正则语言类，正则语言类中的语言也可以由有限状态自动机或正则表达式来表达。
正则语言又称正规语言是满足下述相互等价的一组条件的一类形式语言：
这里语言的运算参见条目形式语言。