Mehr Rechenzeit erlaubt echt mehr entscheidbare Sprachen, sofern die Zeitgrenzen genĂ¼gend konstruktiv und getrennt sind.
Folge: Es gibt Probleme in EXP, die nicht in P liegen.