Programmeerimiskeel
27
Poollahenduvus
•Olgu ülesandeks tuvastada, kas täisarv X kuulub mingisse lõpmatusse
täisarvude alamhulka H.
.Mõne H jaoks on ülesanne lahenduv: näiteks, kui H on paarisarvude
hulk, kui H on algarvude hulk jne,
.Mõne H jaoks ülesanne ei ole lahenduv: näiteks, kui H on arvude hulk,
millele vastavad programmid peatuvad.
•Poollahenduvus tähendab, et kui X juhuslikult kuulub hulka H, siis me
saame seda algoritmiga alati näidata. Kui ei kuulu H-i, siis ei saa alati.
•Peatumisprobleemi puhul: paneme X-le vastava programmi käima ja kui ta
peatub, siis loomulikult teame, et ta kuulub hulka H
.Kui ta aga ei peatu, siis meil ei ole kindlat viisi aru saada, et ta ei kuulu
hulka H.
.Peatumisprobleem on poollahenduv.
•On olemas ülesandeid, mis ei ole ka mitte poollahenduvad.
ITK 2007, Kalev Pihl
Sissejuhatus informaatikasse
28
Operatsioonisüsteemid
Millest juttu tuleb?
•Milleks OS´i vaja on
•Millest OS koosneb
•Mõned näited OS´dest tänapäeval