Bir Turing makinesi bir ilave oracle teyp ve üç ek durum q _?, q _y, s _n. Oracle bant içeriği oracle kümesinde ise makine q _?, denetim girdiğinde devlet s _y gider; aksi durum s _n kontrol gider.