本文提出了一类交替的ω－有穷自动机（ω－ＵＡＦＡ），并采用了构造方法证明了ω－ＵＡＦＡ和简单的ω－ＵＡＦＡ在Ｃ＿１、Ｃ＿２、Ｃ＿５和Ｃ＿４接受条件下的等价性。......