Orakel-Turingmaschinen

Eine Maschine die von einer anderen Maschine simuliert wird und so eine Unterproblem löst.