TY  - BOOK
AU  - Sipser, Michael
TI  - Introduction to the theory of computation
SN  - 0-534-94728-X
PY  - 1997///
CY  - Boston [etc.]
PB  - An International Thomson Publishing Company
KW  - Teoria de autómatos
KW  - Complexidade computacional
KW  - QA267
ER  -