TY - BOOK AU - linz,peter TI - an introduction to formal languages and automata / U1 - 511.3/lin CY - london PB - jones and barttlett publishers KW - LOGIC KW - MATHEMATICAL ER -