再帰的関数はTuringマシンで計算可能
メモ
証明が
y.; "再帰的関数"
に載っている.