Savitch’s Theorem

  • Richard J. Lipton


Walter Savitch did seminal work in computational complexity theory, and has made many important contributions. For all his other wonderful work, he is undoubtedly best known for his beautiful result on the relationship between deterministic space and non-deterministic space.


Regular Language Language Theory Famous Theorem Beautiful Result Compiler Construction 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media, LLC 2010

Authors and Affiliations

  1. 1.Georgia Institute of TechnologyCollege of Computing School of Computer ScienceAtlantaUSA

Personalised recommendations