Inden for beregningsmæssig kompleksitetsteori, især når man diskuterer Turing-maskiner og tællere, er det vigtigt at forstå begreberne afgørelighed og tællerbarhed. For at løse spørgsmålet om, hvorvidt et sprog kan afgøres af Turing, hvis der findes en tæller, der opregner det, må vi overveje definitionerne og relationerne mellem disse begreber.