正則ω言語のk-分割への Wagner 階層の拡張の複雑性の側面

正則ω言語のk-分割への Wagner 階層の拡張に関する効率的なアルゴリズムを提供する。