有穷自动机M1和M2等价是指（）。

有穷自动机M1和M2等价是指（）。
A.M1和M2的有向弧条数相等。
B.M1和M2的状态数相等。
C.M1和M2状态数和有向弧条数分别相等。
D.M1和M2所识别的语言集相等。
正确答案：D