完全到達可能な自動機の決定問題を多項式時間で解くアルゴリズムを開発し、完全到達可能な自動機の到達閾値に関する新しい上界を示した。
本論文では、非決定性有限オートマトン(NFA)の言語サイズを高速に近似計算するFPRASアルゴリズムを提案する。提案手法は、従来手法と比べて時間計算量が大幅に改善されている。
