将所给的正规文法,视为定义所含各非终结符所产生的正规集的一个联立方程组,通过解此方程组求得相应正规式
例:设已给正规文法G,S->aS|bA|b;A->aS
S=aS+bA+b ①
A=aS ②
用代入法求解:② -> ①; S=aS+bA+b => S=(a+ba)S+b
归纳为求解:X=RX+t
即:
X -> RX =>X={t,Rt,RRt,….,R(n)t} 即X=R*t
X -> t
即:S=(a+ba)*b 也就是(a|ba)*b
NB: 方程X=rX+t有形如X= r*t的解
例:
S->aS => S-> aS | aB => S = aS +aB ①
S->aB B-> bB |bC B = bB +bC ②
B->bB C->cC| c C = cC+c ③
B->bC
C->cC
C->c
代入②中:B= bB +bc+
由③得:C=c*c=c+
得B=b*bc+=b+c+
代入①中S= aS+a b+c+=a+b+c+
将所给的正规文法,视为定义所含各非终结符所产生的正规集的一个联立方程组,通过解此方程组求得相应正规式
例:设已给正规文法G,S->aS|bA|b;A->aS
S=aS+bA+b ①
A=aS ②
用代入法求解:② -> ①; S=aS+bA+b => S=(a+ba)S+b
归纳为求解:X=RX+t
即:
X -> RX =>X={t,Rt,RRt,….,R(n)t} 即X=R*t
X -> t
即:S=(a+ba)*b 也就是(a|ba)*b
NB: 方程X=rX+t有形如X= r*t的解
例:
S->aS => S-> aS | aB => S = aS +aB ①
S->aB B-> bB |bC B = bB +bC ②
B->bB C->cC| c C = cC+c ③
B->bC
C->cC
C->c
代入②中:B= bB +bc+
由③得:C=c*c=c+
得B=b*bc+=b+c+
代入①中S= aS+a b+c+=a+b+c+