אורקל (מדעי המחשב) – הבדלי גרסאות

בתורת ה[[חישוביות]] וב[[תורת הסיבוכיות]], '''אורקל''' היא מכונה מופשטת שבאמצעותה נחקרות [[בעיית הכרעה|בעיות הכרעה]]. ניתן לדמות אותה לקופסהל[[קופסה שחורה (הנדסה)|קופסה שחורה]], שמחוברת ל[[מכונת טיורינג]], ושיש לה יכולת להכריע בעיה מסוימת בצעד [[חישוב (מדעי המחשב)|חישוב]] יחיד. הבעיות עשויות להיות מכל [[מחלקת סיבוכיות]], וניתן להשתמש אף בבעיות שאינן ניתנות לחישוב כלל, כגון [[בעיית העצירה]].