识别的语言集相等。正规式m1和m2等价是指m1和m2识别的语言集相等，正规式是一种表示正规集的工具，是描述程序语言单词的表达式。