[1] 計算computeとは、定義はよくわかりませんが、チューリング機械でできることはたぶん計算なのではないでしょうか。