Turing-machine Packages