極限計算可能関数
計算可能性理論における極限計算可能関数(きょくげんけいさんかのうかんすう、)とは、一様に計算可能な関数列の極限によって表せる関数をいう。極限において計算可能()や極限帰納的()などともいう。集合が極限計算可能とはその特性関数が極限計算可能であることをいう。
関数列が "D"-計算可能であるとき、極限の関数は "D"-極限計算可能であるという。