conjunto recursivo
Sign in to saveAlso known as decidability theory
Set where an algorithm can take a number as an input and can decide whether the number belongs to the set
Article · Español
En teoría de la computabilidad, un conjunto B es recursivo, computable o decidible (recurrente primitivo) cuando su es computable total. Esto significa que la función característica, la cual es un predicado, toma valor 1 (cierto) para todos los elementos del conjunto y 0 (falso) para el resto.
Abstract from DBpedia / Wikipedia · CC BY-SA