关于交替的ω─有穷自动机的接受条件  

ON ACCEPTANCE CONDITIONS OF ALTERNATING ω-FA

作　　者：周清雷[1] 周文俊[1] 庄雷[1] 苏锦祥[1] 

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

出　　处：《软件学报》1994年第9期56-58,共3页Journal of Software

基　　金：国家自然科学基金

摘　　要：到目前为止，交替的ω－有穷自动机的接受条件仅有６种，本文给出了６种新形式的接受条件，并研究了交替的ω－有穷自动机在这些条件下识别语言的能力．最后给出了ω－自动机在各种接受条件下识别的语言类．There are only six types of acceptance conditions for alternating ω-finite automata up till now. In this paper, six new forms of acceptance conditions are suggested and the power of accepting ω-language under these conditions for alternating ω-finite automata is investigated. At the end of the paper, the classes of languages accepted by ω-automata under various acceptance conditions are given.

关 键 词：有究自动机 自动机 识别语言 

分 类 号：TP301.4[自动化与计算机技术—计算机系统结构]