Abstract :
This book surveys five areas of current interest to computer scientists: formal language theory, computational complexity, program schemas, tree automata, and compiler design theory. Several of the papers in this monograph were given at a session entitled, "An Overview of Theoretical Computer Science," at the Fourth Annual Princeton Conference on Information Sciences and Systems.