However, the result is in no way specific to them; it applies equally to any other model of computation that is equivalent in its computational power to Turing machines, such as Markov algorithms, Lambda calculus, Post systems, register machines, or tag systems.
Παρόλα αυτά το αποτέλεσμα δεν είναι πολύ συγκεκριμένο σε αυτές, απευθύνεται εξίσου σε κάθε άλλο μοντέλο υπολογισμού που είναι ισοδύναμο με την υπολογιστική δύναμη των μηχανών Turing, όπως είναι οι Μαρκοβιανοί αλγόριθμοι, Λογισμός λάμδα,Σύστημα Ποστ,Μηχανές καταγραφής,ή tag System.