Англо-русский морской словарь
1
рекурсивно перечислимый
2
рекурсивно-перечислимый
3
счетно перечислимый
recursively enumerable