Efficient simulations between a wide class of computation models—including Turing machine variants w...