No obstante, hay una manera de implementar una máquina de Turing en un Z3 (asumiendo una capacidad de almacenamiento infinita), como fue demostrado en 1998.