Вы искали: decidable (Английский - Греческий)

in computability theory, a set of natural numbers is called recursive, computable or decidable if there is an algorithm which terminates after a finite amount of time and correctly decides whether or not a given number belongs to the set.
Στη θεωρία υπολογισιμότητας, ένα σύνολο από φυσικούς αριθμούς λέγεται αναδρομικό (recursive), υπολογίσιμο (computable), ή αποφασίσιμο/αποκρίσιμο (decidable), αν υπάρχει αλγόριθμος που τερματίζει σε πεπερασμένο χρόνο και απαντάει σωστά στο αν ένας δεδομένος αριθμός ανήκει στο σύνολο ή όχι.

tarski (1948) established quantifier elimination for real-closed fields, a result which also shows the theory of the field of real numbers is decidable.
Ο Τάρσκι (1948) θέσπισε την απαλοιφή ποσοδεικτών για real-closed πεδία, αποτέλεσμα που επίσης δείχνει ότι η θεωρία πεδίων των πραγματικών αριθμών είναι αποκρίσιμο.

for example, "halt on input 0 within 100 steps" is not a property of the partial function that is implemented by the program—it is a property of the program implementing the partial function and is very much decidable.
Για παράδειγμα, "σταμάτα όταν γίνει είσοδος ο αριθμός 0 σε 100 βήματα" δεν είναι ιδιότητα μερικής συνάρτησης που εφαρμόζεται από το πρόγραμμα-είναι μια ιδιότητα του προγράμματος που εφαρμόζει την μερική συνάρτηση και μπορεί λίγο πολύ να προσδιοριστεί.