Une machine de Turing capable de simuler n'importe quelle autre machine de Turing est appelée une machine universelle Turing -LRB- UTM, ou simplement une machine universelle -RRB-.
Une machine de teinture est un système de règles, d'états et de transitions plutôt qu'une véritable machine.