有川節夫

1 準備2 有限オートマトン3 文脈自由言語4 帰納的関数5 Turing機関による関数の計算6 帰納的に可算な集合と決定問題7 計算量理論の基本概念8 NP完全性とPSPACE完全性9 計算量理論の

有川 節夫