右线性文法:形式语言与自动机理论中的一种文法类型;其产生式通常形如 A → wB 或 A → w(其中 A、B 为非终结符,w 为终结符串),也就是非终结符出现在产生式右端的最末位置。右线性文法与正则语言(regular languages)等价(与左线性文法在生成能力上等价)。
/ˌraɪt ˈlɪniər ˈɡræmər/
A right-linear grammar can generate only regular languages.
右线性文法只能生成正则语言。
By converting a regular expression into a right-linear grammar, we can build an equivalent finite automaton for efficient pattern matching.
通过把正则表达式转换为右线性文法,我们可以构造等价的有限自动机,以便进行高效的模式匹配。
“right-linear”由 right(右)+ linear(线性的)构成,意思是“(非终结符)在线性产生式的右侧(末端)”。“grammar”源自希腊语 grammatikē,原指“关于文字/语法的学问”。在形式语言领域,“右线性”这一命名强调产生式中非终结符位置的约束:只能在右端出现,从而保证其生成能力落在正则语言范围内。