Un sottoassieme di macchine di Turing è costituito dalle Macchine che terminano sempre, o decider nella terminologia inglese, che sono macchine per le quali è sempre garantita la terminazione della computazione, per qualunque input.
ʊn sotːoassjˈeme dɪ mˈakːine dɪ tˈuriŋɡ e kostitʊˈito dˌalle mˈakːine ke tˈɛrminano sˈɛmpre, o detʃidˈɛr nˈella terminolodʒˈia iŋɡlˈeze, ke sˌono mˈakːine per le kwˈalɪ e sˈɛmpre ɡaɾantˈita la terminatsiˈone dˌella kompʊtatsiˈone, per kwalˈunkwe ˈinpʊt.