கணித மாதிரிகள்
நாம் எவ்வாறு படிமுறைகளை கணக்கீடு செய்ய விரும்புகிறோம் என்பதைப் பற்றி தீர்மானிக்காத ட்யூரிங் இயந்திரம் மிகக் குறைவாகவே உள்ளது, ஆனால் அதன் கிளையானது நாம் பகுப்பாய்வு செய்ய விரும்பும் பல கணித மாதிரிகளை சரியாக பிடிக்கிறது, எனவே கணக்கீட்டு சிக்கல்களை பகுப்பாய்வு செய்வதில் மிகவும் முக்கியமான ஆதாரமாக உள்ளது.
ஒரு நிர்ணயிக்கப்படாத ட்யூரிங் மெஷின் (turing machine) பயனுள்ள பகுப்பாய்வின் எந்த அம்சத்தை கைப்பற்றும் திறனைக் கொண்டுள்ளது?