PSPACE
Einfache Sprache
Def. PSPACE
$\mathbf{PSPACE}$ ist die Klasse der Sprachen, die durch eine Deterministische Turingmaschine entscheidbar werden und dafür polynomielle viele Raum benötigt. Also
$$\mathbf{PSPACE} = \bigcup_k\mathbf{SPACE}(n^k)\;.$$