已知正规式：(1)((a|b)*|aa)*b;(2)(a|b)*b。试用有限自动机的等价性证明正规式(1)和(2)是等价的，并给出相应的正规文法。

已知正规式：（1)（（a|b)*|aa)*b;（2)（a|b)*b。试用有限自动机的等价性证明正规式（1)和（2)是等价的，并给出相应的正规文法。