Der Begriff der Orakel-Turingmaschine dient in der Theoretischen Informatik dazu, Hierarchien von Berechenbarkeiten und Komplexitäten zu definieren und deren Eigenschaften zu studieren.
Auf diese Art und Weise erhält man sechs Nummern, die dann als übereinander gemalte Linien das Orakel bilden, da jede Nummer eine andere Linienart bedeutet.