Non-Deterministic Space is like Non-Deterministic Computation but now is space efficient. requirements We say A \in \text{NSPACE}\left(s \left(n\right)\right) if \exists Non-deterministic Turing Machine M which decides A such that M always uses O\left(s \left(n\right)\right) space. additional information See NL