In mathematics, logic and computer science, a formal language is called recursively enumerable (also recognizable, partially decidable, semidecidable, Turing-acceptable or Turing-recognizable) if it is a recursively enumerable subset in the set of all possible words over the alphabet of the language, i.e., if there exists a Turing machine which will enumerate all valid strings of the language. Recursively enumerable languages are known as type-0 languages in the Chomsky hierarchy of formal languages. All regular, context-free, context-sensitive and recursive languages are recursively enumerable. The class of all recursively enumerable languages is called RE. Definitions There are three equivalent definitions of a recursively enumerable language: A recursively enumerable language is a recursively enumerable subset in the set of all possible words over the alphabet of the language. A recursively enumerable language is a formal language for which there exists
En matemáticas, lógica y informática, un lenguaje formal se llama recursivamente enumerable (también reconocible, parcialmente decidible, semidecidable, Turing-aceptable o Turing-reconocible) si es un subconjunto recursivamente enumerable en el conjunto de todas las palabras posibles sobre el alfabeto del lenguaje, es decir, si existe una máquina de Turing que enumerará todas las cadenas válidas del lenguaje. Los idiomas recursivamente enumerables son conocidos como idiomas tipo-0 en la jerarquía de lenguas formales de Chomsky. Todos los idiomas regulares, sin contexto, sensibles al contexto y recursivos son recursivamente enumerables. La clase de todos los idiomas recursivamente enumerables se llama RE.