1. Adjective. (computing theory) (abbreviation) of '''recursively enumerable''' ¹
¹ Source: wiktionary.com