正则文法到正规式的转换规则:
文法表达式 | 正则式 | |
---|---|---|
规则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,证明如下: