Im Allgemeinen zählt das Abfrageband für ein Orakel für die räumliche Komplexität eines TM. Es erscheint jedoch plausibel, nur ein beschreibbares Orakelband zuzulassen (wie es bei L-Platz-Verkleinerungen verwendet wird).
Ist eine solche Konstruktion sinnvoll? Ergibt es irgendwelche besonders absurden Ergebnisse?