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