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.
KeywordsRegular Language Language Theory Famous Theorem Beautiful Result Compiler Construction
Unable to display preview. Download preview PDF.