turing-machine-executor