正规文法和正规式的等价性