正则文法：又称为3型文法。这种文法分为两种类型：第一类要求生成式的形式必须是A→ωB或A→ω，其中A，B都是变元，ω是终结符串，这种特殊的正则文法称为右线性文法。第二类正则文法称为左线性文法，它要求生成式必须是A→Bω，或A→ω的形式。由正则文法生成的语言称为正则语言，它恰是有穷自动机所识别的语言类。
本文将给出判定任意两个正则文法是否等价的一种有效方法。
This paper gives an effective method for deciding whether any two regular grammars are equivalent.
给出了（确定）格值正则文法与（确定）格值正则语言的定义。
The concepts of (deterministic) lattice-valued regular grammars(DLRG and LRG, respectively) and (deterministic) lattice-valued regular languages are formulated.
应用推荐