对任意一个右线性文法G，都存在一个DFAM，满足L（G）=L（M）。