  The {\em linear-bounded automata question} ($LBA$ question, shortly) is a
fundamental and long-standing open question in automata theory as well as in
complexity theory, which can also be phrased succinctly in the language of
complexity theory as $\text{DSPACE}[n]\overset{?}{=}\text{NSPACE}[n]$.
  This work resolves the $LBA$ question {\bf in the sense of equivalence}. We
show that $\text{DSPACE}[n]\neq\text{NSPACE}[n]$ in the sense of equivalence.
Our proof technique is primarily based on diagonalizing over all deterministic
$n$ space-bounded Turing machines via a universal nondeterministic
$(2+\lceil\log 3\rceil)\times n$ space-bounded Turing machine.
  We show by padding argument that $\text{DSPACE}[\log n]\neq\text{NSPACE}[\log
n]$ {\bf in the sense of equivalence}, which also resolves a famous and
long-standing open question in complexity theory. Our proof also implies the
following fundamental consequences:
  (1) {\bf in the sense of equivalence}, there is no deterministic $\log n$
space-bounded Turing machine deciding the $st$-connectivity question (STCON);
  (2) {\bf in the sense of equivalence}, $\mathcal{L}\neq\mathcal{P}$.
