Recursively enumerable language

Home > Computer Science > Theory of Computation > Formal Languages > Recursively enumerable language

A language is called recursively enumerable if it is generated by a Turing machine. These languages are used in cryptography, communication, and computation.