The Turing machine always halts: it is known as a decider and is said to decide the recursive language.
Тјурингова машина се увек зауставља; позната је као одлучивач, и каже се да она одлучује рекурзивни језик.