generated at
半決定可能集合
決定可能集合を真に包含する
すなわち決定可能集合\subset半決定可能集合
計算可能よりも広い概念