Register machines Although these models use different representations for the functions, their inputs and their outputs, translations exist between any two models, and so every model describes essentially the same class of functions, giving rise to the opinion that formal computability is both natural and not too narrow.
Μηχανές εγγραφής (Tag Μηχανές) Παρόλο που αυτά τα μοντέλα χρησιμοποιούν διαφορετικές αναπαραστάσεις για τις συναρτήσεις, τις εισόδους και τις εξόδους τους, μεταφράσεις υπάρχουν μεταξύ των δύο μοντέλων, και έτσι κάθε μοντέλο περιγράφει ουσιαστικά το ίδιο σύνολο συναρτήσεων, δίνοντας αφορμή για τη γνώμη ότι η επίσημη υπολογισιμότητα είναι τόσο φυσική και δεν είναι πολύ στενή.