TY - BOOK AU - Sudkamp, Thomas A. TI - Languages and machines: An introduction to the theory of computer science SN - 0321322215 AV - QA 267 S92I 2006 PY - 2006/// CY - Boston,Mass. PB - Thomson KW - FORMAL LANGUAGES KW - MECHINE THEORY KW - COMPUTATIONAL COMPLEXITY N1 - Includes appendix and index; Grammars, automata, and languages; Computability; Computational complexity ER -