Maszyna Turinga z wyrocznią – w teorii obliczeń abstrakcyjny model stosowany w celu badania problemów decyzyjnych. Maszynę Turinga z wyrocznią można traktować jako wielotaśmową maszynę Turinga z wyróżnioną, przeznaczoną tylko do odczytu taśmą (zwaną taśmą wyroczni), na której zapisany jest nieskończony ciąg symboli (zwany wyrocznią). Pod każdym innym względem maszyna Turinga z wyrocznią działa jak zwykła maszyna Turinga. Jeżeli zawartość taśmy wyroczni składa się wyłącznie z symboli zerowych, to taka maszyna jest zwykłą wielotaśmową maszyną Turinga.
Część autorów podaje alternatywną definicję, w której zbiór stanów maszyny rozszerzony jest o stany dodatkowe {qask,qyes,qno} związane z obsługą wyroczni. Odwołanie do wyroczni polega na zapisaniu słowa na taśmie wyroczni i wywołaniu stanu qask, co skutkuje przejściem do stanu qyes lub qno w zależności od rozwiązania problemu decyzyjnego, o które pytana jest wyrocznia. Wyrocznia jest więc równoważna zbiorowi słów (językowi), dla których maszyna przechodzi do stanu qyes.
Rodzaje wyroczni
W ogólności wyrocznia może dawać rozwiązanie dowolnego problemu decyzyjnego lub problemu funkcyjnego. Taki problem nie musi być algorytmicznie rozstrzygalny, wyrocznia może reprezentować odpowiedzi w zakresie dowolnego, zdefiniowanego matematycznie zbioru problemów.