Estamos trabajando para restaurar la aplicación de Unionpedia en la Google Play Store
SalienteEntrante
🌟¡Simplificamos nuestro diseño para una mejor navegación!
Instagram Facebook X LinkedIn
Tu propia Unionpedia con tu logo y dominio, desde 9.99 USD/mes
Crear mi Unionpedia

Recursivamente enumerable

Índice Recursivamente enumerable

La expresión recursivamente enumerable puede hacer referencia a varios conceptos cercanos en lógica y matemáticas.

Tabla de contenidos

  1. 2 relaciones: Conjunto recursivamente enumerable, Lenguaje recursivamente enumerable.

Conjunto recursivamente enumerable

En teoría de la computabilidad, un conjunto S de números naturales se denomina computablemente enumerable (ce), recursivamente enumerable (re), semidecidible, parcialmente decidible, enumerable, demostrable o Turing-reconocible si.

Ver Recursivamente enumerable y Conjunto recursivamente enumerable

Lenguaje recursivamente enumerable

En matemáticas, lógica e informática, un lenguaje recursivamente enumerable es un tipo de lenguaje formal que es también llamado parcialmente decidible o Turing-computable.

Ver Recursivamente enumerable y Lenguaje recursivamente enumerable