The time and space hierarchy theorems form the basis for most separation results of complexity classes.
Các định lý cấp bậc thời gian và bộ nhớ là cơ sở cho hầu hết các kết quả phân tách các lớp độ phức tạp.