Recursively enumerable language

Formal language

From Wikipedia, licensed CC BY-SA 4.0.