| 摘要: |
| 到目前为止,交替的ω-有穷自动机的接受条件仅有6种,本文给出了6种新形式的接受条件,并研究了交替的ω-有穷自动机在这些条件下识别语言的能力.最后给出了ω-自动机在各种接受条件下识别的语言类. |
| 关键词: 交替的ω-有穷自动机,ω-语言,接受条件 |
| DOI: |
| 分类号: |
| 基金项目:国家自然科学基金 |
|
| ON ACCEPTANCE CONDITIONS OF ALTERNATING ω-FA |
|
Zhou Qinglei;,Zhou Wenjun;,Zhuang Lei,Su Jinxiang
|
| Abstract: |
| 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. |
| Key words: Alternating ω-finite automata, ω-language, acceptance condition. |