TY - BOOK AU - Linz, Peter TI - Introduction to formal languages and automata SN - 1470 U1 - 005.131 LIN-I2 PB - Narosa Publishing House, New Delhi KW - Symbolic logic; Automata, Formal languages applied to programming langu ER -