半可计算性

semicomputability