受控改写

受控改写是形式语言的一个特定领域，研究能够对衍生步骤中应用的生产进行某种控制的语法系统。由于这个原因，在受控重写理论中研究的语法系统也被称为具有受控衍生的语法。在这些语法中可以注意到。矩阵语法基本概念定义矩阵语法。MG{displaystyleMG}，是一个四元组。，是一个四元组G=(N,T,M,S){displaystyleG=(N,T,M,S)}。其中1.-N{displaystyleN}是非终端符号的字母表。是一个非终端符号的字母表2.-T{displaystyleT}是终端符号的字母表。是一个终端符号的字母表，与N{displaystyleN}是一个终端符号的字母表，与N{displaystyles,f:Prightarrow2{P}}为成功和失败函数。为从生成物集合到生成物集合的子集类的成功和失败函数。有规则控制语言的语法基本概念定义有规则控制语言的语法。GWRCL{displaystyleGWRCL}，是一对有规则控制语言的语法，即GWRCL。，是一对(G,e){displaystyle(G,e)}。其中G=(N,T,P,S){displaystyleG=(N,T,P,S)}是一个语法。

是一个语法，并且e{displaystylee}是一个语法，e是产品集的字母表上的一个正则表达式。一个天真的例子考虑CFGG=(N,T,P,S){displaystyleG=(N,T,P,S)}。其中n={s,a,b,c}{displaystyleN={S,A,B,C}}是非终端集。是非终结者集合。