Χωρική Πολυπλοκότητα

Θεώρημα του Savitch, Η κλάση PSPACE.