En komputebleca teorio kalkulebla aro nomiĝas komputebla, rekursia aŭ decidebla, se ekzistas algoritmo, kies plenumado finiĝas post finia nombro da paŝoj per decido, ĉu donita ero apartenas al tiu aro aŭ ne.
Developed by Nelliwinne