The fact that these models give equivalent classes of computable functions stems from the fact that each model is capable of reading and mimicking a procedure for any of the other models, much as a compiler is able to read instructions in one computer language and emit instructions in another language.
Το γεγονός ότι τα μοντέλα αυτά,δίνουν ισοδύναμες κατηγορίες υπολογίσιμων συναρτήσεων πηγάζει από το γεγονός ότι κάθε μοντέλο είναι ικανό να διαβάσει και να μιμηθεί μία διαδικασία για οποιοδήποτε από τα άλλα μοντέλα, όπως ένας μεταγλωττιστής είναι σε θέση να διαβάζει τις οδηγίες σε μία γλώσσα υπολογιστή και να εκπέμπει οδηγίες σε άλλη γλώσσα.