对一个右线性文法G,必存在一个左线性文法G＇，使得(G)=L(G＇),反之亦然。