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 βήματα" δεν είναι ιδιότητα μερικής συνάρτησης που εφαρμόζεται από το πρόγραμμα-είναι μια ιδιότητα του προγράμματος που εφαρμόζει την μερική συνάρτηση και μπορεί λίγο πολύ να προσδιοριστεί.