 Wang B-machine

As presented by Hao Wang (1954, 1957), his basic machine B is an extremely simple computational model equivalent to the Turing machine.It is "the first formulation of a Turing-machine theory in terms of computer-like models" (Minsky, 1967