Již v třicátých letech minulého stolení představil britský matematik a logik Alan Turing revoluční koncept známý jako Turingův stroj.
Již v třicátých letech minulého stolení představil britský matematik a logik Alan Turing revoluční koncept známý jako Turingův stroj. Tento abstraktní výpočetní model, navržený k simulaci logické operace jakéhokoli algoritmu, položil de facto základy moderní výpočetní teorie. Turingův stroj ukázal, že pokud může nějaký problém být vyřešen pomocí algoritmu, pak může být vyřešen Turingovým strojem. Tím se otevřela cesta k rozvoji univerzálních výpočetních strojů – počítačů.