Efficient simulations between models such as RAM machines and Turing machines have been concretely f...