Virginia Tech - CS5104 Materials on Reserve

Books on reserve in Newman Library

• (QA267 H56) Introduction to Automata Theory, Languages, and Computation, Hopcroft and Ullman

  This is a classic text in the area and has aged quite gracefully. It is a good general reference for this course.

• (QA267 L49) Elements of the Theory of Computation, Lewis and Papadimitriou

  This was the previous textbook I used for CS 5104. It is a little gentler than Hopcroft and Ullman and is also a good general reference. The book has an excellent notation for building composite Turing machines.

• (QA267.3 S83 1997) Languages and Machines: An Introduction to the Theory of Computer Science, Sudkamp

  This is the text I use for CS 4114, the undergraduate course in formal languages and automata. It is a more elementary text than Sipser, Hopcroft and Ullman, or Lewis and Papadimitriou.

• (QA76.5 M57) Sequential Machines: Selected Papers, Moore (editor)

  This is an interesting collection of early work on automata. See especially the paper on the Firing Squad Synchronization Problem.

• (QA1 E45 v.17) Combinatorics on Words, Lothaire (editor)

  This is a collection of chapters on strings as combinatorial objects.

• (QA267.3 S25) Jewels of Formal Language Theory, Salomaa

  A small book on some interesting problems related to strings and languages.

Please report any problems found in these pages to: