部分可算函数

_

partial computable function, partially computable function