[计] recursive enumerable, recursively-enumerable set
dì guī,dì tuī méi jǔ jí ㄉㄧˋ gui,dì1 ㄊㄨㄟ ㄇㄟˊ ㄐㄩˇ ㄐㄧˊ