正规文法:G[S]
正规式:∑
\例题理解
S->A1
A->A1 | S0 | 0
过程:
解二元方程组的思想----消元
消去S,得A = A1 | A10 | 0
拆分, 得 A =A1 | 0 ------------------------------------A = 0(1)*
得 A =A10 | 0 ------------------------------------A = 0(10)*
汇总, A = 0(1)* | 0(10)*
整理, A = 0(1|10)*
则, S = A1 = 0(1|10)*1