EXPSPACE: EXPSPACE, Computational complexity theory, Set (mathematics), Decision problem, Turing machine, Linear function, Savitch's theorem, NSPACE, DSPACE

Space Hierarchy Theorem: Computational Complexity Theory, Deterministic Turing Machine, Decision Problem, Time Theorem

Savitch's Theorem: Computational Complexity Theory, Walter Savitch, Nondeterministic Turing Machine, Deterministic Recursion

Oracle Machine: Computational Complexity Theory, Computability Abstract Machine, Decision Problem, Turing

Advice (complexity): Computational Complexity theory, Turing machine, Decision problem, class, Boolean circuit, Nondeterministic algorithm