Non-Deterministic Space

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