Text this: Рекурсивно перечислимые множества и сводимости табличного типа