一种新的ω—识别模型

本文提出了一种新的ω－识别模型：ω－循环自动机及其循环接受条件，给出了ω－循环自动机在该接受条件下所接受的ω－语言类的集合表示。