TY - BOOK AU - Kumar, Rajendra TI - Theory of automata, languages and computation SN - 1386 U1 - 005.131 KUM-T PB - McGraw-Hill Co., New Delhi KW - Symbolic logic; Automata, Formal languages applied to programming langu ER -