Linguagem recursivamente enumerável
De Wikipedia, a enciclopédia encyclopedia
Em matemática, lógica e ciência da computação, uma linguagem recursivamente enumerável é um tipo de Linguagem formal que também é chamada de linguagem Turing-reconhecível. Também é conhecida como tipo-0 na hierarquia de Chomsky das linguagens formais.
O décimo problema de Hilbert abrange a classe das linguagens recursivamente enumeráveis.