section_heading: Strojevi proročišta
paragraph_text: Takozvani strojevi proročišta imaju pristup različitim "proročištima" koji pružaju rješenja na pojedine neodlučive probleme. Na primjer, Turingov stroj može imati "proročište za zaustavljanje" koje odmah odgovara staje li ikada dani Turingov stroj za dani ulaz. Ovi su strojevi središnja tema proučavajna u teoriji rekurzije