[计] semi-computable predicate, semicomputable predicate

bàn kě jì suàn wèi cí ㄅㄢˋ ㄎㄜˇ ㄐㄧˋ ㄙㄨㄢˋ ㄨㄟˋ ㄘˊ