TY - BOOK AU - Hopcroft, John E, et. al. TI - Introduction to automata theory, languages, and computation SN - 1135 U1 - 005.131 HOP-I2 PB - Narosa Publishing House, New Delhi KW - Symbolic logic; Automata, Formal languages applied to programming langu ER -