Merkitys
- laskennan vaativuusteoriassa teoreettinen kone, joka pystyy ratkaisemaan laskennallisesti ratkeamattomia ongelmia, eräs hyperlaskennan malli
Etymologia
Esimerkkilauseet
D.) Princetonissa; hänen tutkielmassaan esiteltiin suhteellisen laskennan käsite (), jossa Turingin koneiden lisäksi käytetään niin kutsuttuja oraakkelikoneita.Oraakkelikone on laskennan vaativuusteoriassa abstrakti kone, jota käytetään päätösongelmien ratkaisun tutkimiseen.