Or it might get stuck at some point (i.e., one of its instructions cannot be executed), but it must not pretend to produce a value for f at x."
Ή μπορεί να κολλήσει σε κάποιο σημείο (δηλαδή, μία εκ των εντολών να μην μπορεί να εκτελεστεί), αλλά δεν πρέπει να προσποιείται ότι παράγει μία τιμή για την f στο x."