TY - BOOK AU - Hopcroft, John E; Ullman, Jeffrey D TI - Introduction to automata theory, languages, and computation SN - 1136 U1 - 005.131 HOP-I PB - Narosa Publishing House, New Delhi KW - Symbolic logic; Automata, Formal languages applied to programming langu ER -