digital / tiny turing machine