完全到達可能性と二次到達閾値を決定する多項式アルゴリズム

完全到達可能な自動機の決定問題を多項式時間で解くアルゴリズムを開発し、完全到達可能な自動機の到達閾値に関する新しい上界を示した。