This is commonly accomplished by supplementing the model of computation with an additional primitive operation which asks whether a given integer is a member of A. We can also talk about f being computable in g by identifying g with its graph.
Αυτό συνήθως επιτυγχάνεται συμπληρώνοντας το μοντέλο υπολογισμού με μία επιπλέον πρωτόγονη λειτουργία η οποία σας ρωτά εάν ένας δεδομένος ακέραιος είναι μέλος του Α. Μπορούμε επίσης να μιλήσουμε για το αν η f είναι υπολογίσιμη στη g , εντοπίζοντας την g με το γράφημά της.