分类

半递归集

英文

semi-recursive set

简介

即“递归可枚举集”.