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