Robuta

https://www.semanticscholar.org/topic/Recursively-enumerable-language/553361 Recursively enumerable language | Semantic Scholar In mathematics, logic and computer science, a formal language is called recursively enumerable (also recognizable, partially decidable, semidecidable,... recursively enumerablelanguagesemanticscholar