Advertisement

Savitch’s Theorem

  • Richard J. Lipton
Chapter

Abstract

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.

Keywords

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.

Preview

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