Merkitys
- 1.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.