正规文法 正规是

1.分别写出描述以下语言的正规文法和正规式：

L1={abⁿa|n≥0}。　　

正规文法：

S->aA

A->Ba

B->ε|bB

正规式：

B=ε+bB=b*

A=Ba=b*a

S=aA=ab*a

 

L2={a^mbⁿ|n≥1,m ≥1}

正规文法：

S->AB

A->aA|a

B->bB|b

正规式：

A=aA+a=a*a

B=bB+b=b*b

S=AB=aa*bb*

 

L2={（ab）^n|n≥1}

正规文法：

S->ab|abS

正规式：

S=ab+abS=ab(ab)*

 

 

 

Z→0A

A→0A|0B
B→1A|ε

 

Z→U0|V1
U→Z1|1
V→Z0|0

 

S→aA
A→bA|aB|b
B→aA

 

I→l|Il|Id