On Computable Numbers, with an Application to the Entscheidungsproblem by Alan Turing (1936)

By Alan Turing. The paper's first page records receipt on 28 May 1936 and reading on 12 November 1936.

Primary paper: www.cs.virginia.edu/~robins/Turing_Paper_1936.pdf

Sections 1–2 define the finite control, scanned square, tape, elementary moves and complete configurations; §3 gives explicit computing-machine examples.