TY - BOOK AU - Shallit TI - Second course in formal languages and automata theory U1 - D6,8(B), P9 PY - 2009/// CY - Cambridge PB - Cambridge University Press KW - Shallit Jeffrey KW - Engineering-Machine Theory ER -