Turing's abstract two-way tape automaton that formalises the notion of effective computation and underlies the digital computer.
Young mentions Turing chiefly as a pioneer who used introspection — studying his own thought while playing chess — to build his chess machine.
George presents the Turing machine as a tape automaton, finite or infinite, equivalent to a digital computer given access to all the tape it has processed.