对任意文法G，都存在相应的正规式与之等价。