Tūringas – tai abstraktus skaičiavimo modelis, sukurtas Alano Tūringo, kuris apibrėžia, kas gali būti apskaičiuota algoritmiškai. Tai teorinis įrenginys, aprašantis kompiuterių veikimo principus.
Pagrindinė idėja:
Jei problema gali būti išspręsta Tūringo mašina, ji yra apskaičiuojama; jei ne – neapskaičiuojama.
Pavyzdžiai taikymo:
1. Paprasti algoritmai – pvz., sudėtis ar daugyba (Tūringo mašina gali jas atlikti).
2. Programavimo kalbos – visos šiuolaikinės kalbos yra „Tūringo pilnos“, t.y., gali išspręsti tas pačias problemas kaip Tūringo mašina.
3. Neapskaičiuojamos problemos – pvz., sustojimo problema (negali būti išspręsta jokia programa).
Trumpai: Tūringo mašina yra teorinis kompiuterio pagrindas, naudojamas nustatyti algoritminių galimybių ribas.
Jūsų pataisymai bus išsiųsti moderatorių peržiūrai, jei informacija tikslesnė/taisyklingesnė
ji bus patalpinta vietoj esamos.