一类交替的ω－有穷自动机  

A TYPE OF ALTERNATING ω-FINITE AUTOMATA

作　　者：周清雷[1] 

机构地区：[1]郑州大学计算机科学系

出　　处：《郑州大学学报（理学版）》1994年第2期26-29,共4页Journal of Zhengzhou University:Natural Science Edition

基　　金：国家自然科学基金资助

摘　　要：本文提出了一类交替的ω－有穷自动机（ω－ＵＡＦＡ），并采用了构造方法证明了ω－ＵＡＦＡ和简单的ω－ＵＡＦＡ在Ｃ＿１、Ｃ＿２、Ｃ＿５和Ｃ＿４接受条件下的等价性。In this paper,a type of Alternating ω-Finite Automata(abbrevinted ω-UAFA)issuggested,that is,all states of Alternating ω-Finite Automata are universal states,And by adoptingthe constr ucting methed ’it is shown that the class of ω-languages accepted by the ω-UAFA is equalto the class of ω-languages accepted by the simple ω-UAFA under C_1,C_2 , C_3 and C_4 accepting condi一tions.

关 键 词：交替的ω-有穷自动机 接受条件 Ω-语言 

分 类 号：O152.7[理学—数学]