The article Turing machine gives a general introduction to Turing machines, while this article covers a specific class of Turing machines.A Post–Turing machine is a "program formulation" of an especially simple type of Turing machine, comprising a variant of Emil Post's Turing-equivalent model of computation described below. (Post's model and Turing's model, though very similar to one another, were developed independently.