摘要
本文提出了一种新的ω－识别模型：ω－循环自动机及其循环接受条件．给出了ω－循环自动机在该接受条件下所接受的ω－语言类的集合表示．
In this paper,a new model of ω-recognizing (ω-cycle automata) and its accepting condition(cycle accepting condition) are suggested. The set-representation of the family of ω-languages accepted by ω-cycle automata under the accepting condition is presented.
出处
《计算机学报》
EI
CSCD
北大核心
1995年第6期457-461,共5页
Chinese Journal of Computers
基金
国家自然科学基金
