Machina Turing
Machina Turing est automaton theoreticum ab Alano Turing anno 1937 excogitatum, ab ipso primitus logicam computandi machinam nucupatum. Hoc automaton signa per taenium introducta elaborat, exitus (in idem taenium) secundum regulas programmatas (logicam) producens. Hodie notio machinae Turing magni momenti habeatur in informatica, quia per talem machinam mathematici possunt imitari logicam cuiusquam computatri, et machina est ad officia mediorum processoriorum intra computatra explicanda utilis.

Architectura von Neumann
Examen Turing
Entscheidungsproblem
Machina Darwiniana
Theoria facultatis calculandi

Alanus Mathison Turing
Informatica
Inventiones Angliae