Metadata
Author: WikiMatrix
Data
Esperanto[eo]
En komputebleca teorio kalkulebla aro estas nomita kiel komputebla, rekursia aŭ decidebla se oni povas konstrui algoritmon kiu finiĝas post finia kvanto de tempo kaj decidas ĉu ĉiu donita ero apartenas al la aro aŭ ne.
Portuguese[pt]
Na teoria da computabilidade, um conjunto de números naturais é chamado recursivo, computável ou decidível se existe um algoritmo que termina após uma quantidade finita de tempo e decide corretamente se um número pertence ou não ao conjunto.