ω-自动机相关论文
在提出扩大了正规表达式的概念的基础上，建立ω－自动机与扩大了的ω－正规表达工之间的１－１对应，并给出了２类不能构造出确定型ω－自动机的表达......
模态μ-演算被十分广泛地应用在模型验证技术中.影响模态μ-演算检验复杂度的主要瓶颈来源于规约公式的交换深度.讨论了线性μ-演......
