Recursively enumerable class

математика вполне рекурсивно перечислимый класс