The time and space hierarchy theorems form the basis for most separation results of complexity classes. For instance, the time hierarchy theorem tells us that P is strictly contained in EXPTIME, and the space hierarchy theorem tells us that L is strictly contained in PSPACE.
जटिलता वर्गों के भीतर पृथक्करण परिणामों की नींव क्या है? 
समय और स्थान पदानुक्रम प्रमेय 