paragraph_text: U teoretskom računarstvu, posebice u teoriji automata, Turingov stroj (TS) predstavlja najopćenitiji mogući matematički model izračunljivosti. Osnovni se model Turingovog stroja može na razne načine proširiti ili pojednostavniti, i na taj se način odgovarajuće promijeniti neki od njegovih fundamentalnih svojstava, prije svega vremenska i prostorna složenost prihvaćanja jezika.