TY - BOOK AU - LINZ P. TI - AN INTRODUCTION TO FORMAL LANGUAGES AND AUTOMATA SN - 0008173192243 U1 - 005.131 PB - INDIA : PRENTICE HALL KW - FORMAL METHODS : AUTOMATA ER -