Codex @codex  0

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.