有穷自动机M1和M2等价是指( )。A. M1和M2的有向弧条数相等。B. M1和M2的状态数相等。C. M1和M2状态数和有向弧条数分别相等。D. M1和M2所识别的语言集相等。

有穷自动机（Finite Automaton）是一种用于识别语言的计算模型。两个有穷自动机等价意味着它们识别的语言集是相同的。因此，等价性与状态数和有向弧条数无关，而与它们识别的语言集有关。