ω-automata 相关硕士博士期刊学术论文

在提出扩大了正规表达式的概念的基础上，建立ω－自动机与扩大了的ω－正规表达工之间的１－１对应，并给出了２类不能构造出确定型ω－自动机的表达......