【编译原理】正则文法与正则式的等价性

正则文法到正规式的转换规则：

	文法表达式	正则式
规则1	A->xB B->y	A=xy
规则2	A->xA｜y	A=x*y
规则3	A->x A->y	A=x｜y

正则式到正则文法到转换规则：

	正则式	正则表达式
规则1	A=xy	A->xB B->y
规则2	A=x*y	A->xB A->y B->xB B->y
规则3	A=x｜y	A->x A->y

规则2具有单向性，规则1、3是可逆的。
特别注意正则式到正则文法的转换规则2，正则表达式中的必须包含这四个文法，不能简略为A->xA、A->y，证明如下：