标签：两个有穷自动机等价是指A所识别的语言相等B指它们的状态数相等C有向弧数相等D状态数和有向弧数相等