チューリングマシン計算可能 - mrsekut-p

チューリングマシン計算可能

自然数上の部分関数$ fに対してそれを計算するチューリングマシンが存在するとき、$ fはチューリングマシン計算可能と言う