In computational complexity theory, the space hierarchy theorems are the exact analogues of the time hierarchy theorems for space.