Turing machine

Turingova mašinka (Turing machine) je teoretický model výpočtového zařízení, který navrhl britský matematik a logik Alan Turing v roce 1936. Tento model slouží k analýze a definici toho, co znamená "výpočet" a "algoritmus". Turingova mašinka se skládá z nekonečné pásky rozdělené na buňky, které mohou obsahovat symboly, a hlavy, která může číst a zapisovat na pásku a přesouvat se po ní. Turingovy mašinky jsou významné pro teorii počítačových věd, protože pomáhají zkoumat výpočetní schopnosti různých systémů a formalizovat pojem algoritmického řešení. Důležitými pojmy, které s Turingovými mašinkami souvisejí, jsou například Turingova rozhodovací schopnost, Turingova úplnost a Turingovo zastavení. Model Turingovy mašinky je základem pro moderní teorie automatů a počítačových systémů, stejně jako pro filozofické úvahy o povaze lidského myšlení a umělé inteligenci.