空虚は弱い交互オートマトン

Question

に私は特定の弱い交互オートマトンで交互オートマトンの空虚をチェックするためのアルゴリズム（もすでに実装）がある場合はお聞きしたかったのです。

Answer 1

アラスカと呼ばれる実装があります：http://www.antichains.be/alaska/ - あなたはまた、そのページのそれぞれの理論の論文へのリンクがありますが。