两个正规集相等的必要条件是他们对应的正规式等价。