9789382993940

NEW NEW NEW NEW Size : 185mm x 240mm • Pages : xii+544pp

• Year : 2014 • Binding : Paperback • ISBN : 9789382993940 • Price ` 495.00 only

A Textbook on Automata Theor y heory P. K. Srimani and Nasir S. F. B. P. K. Srimani is Professor at Department of Computer Science, Bangalore University. She has more than thirty years of teaching and research experience.

Nasir S.F.B. is a teacher, trainer and consultant in the field of Information Technology. He is Professor and Principal at Al-Ameen Institute of Information Sciences, Bangalore. His areas of interest include theory of computation, operating systems, computer graphics, computer networks and text editor design and development.

A Textbook on Automata Theor y heory P. K. Srimani and Nasir S. F. B.

• • • •

This book has been designed for students of computer science. Adopting a comprehensive approach to the subject, it presents various concepts with adequate explanations. The logical and structured treatment of the subject promotes better understanding and assimilation. Lucid and well-structured presentation makes the book userfriendly.

It covers the curricula for MCA, BE (Computer Science) and MSc (Computer Science) at various universities and gives students a strong foundation for advanced studies in the field.

Key features • Provides a wide array of solved examples and applications • Includes numerous illustrations supporting theoretical inputs • Contains exercises for practice at the end of each chapter

Lists notations to describe machine models Provides a brief history of mathematicians and computer scientists Highlights important theorems (with proofs) as separate boxed items Includes appendices and a list of abbreviations for ready reference of computational and mathematical terms

CONTENTS: Preface • Acknowledgements • List of Abbreviations Unit I: 1. Fundamentals of Automata Unit II 2. Formal Language Theory 3. Formal Languages / Grammar Hierarchy Unit III: 4. Finite Automata 5. Equivalent Automata Unit IV: 6. Minimisation / Optimisation of DFA 8. Finite Automata and Regular Expressions Unit V: 9. Transducers 10. ContextFree Grammars and Context-Free Languages 11. Simplification of Context-Free Grammar Unit VI: 12. Turing Machine 13. TM Extensions and Languages Appendix A Symbol Chart • Appendix B Sets, Relations, Functions and Mathematical Induction • Appendix C System Modelling • Index Foundation Books is an imprint of Cambridge University Press, India.

Available from:

India Private Limited www.cambridgeindia.org Cambridge House, 4381/4, Ansari Road, Daryaganj, New Delhi-110002 Tel.: +91 11 43543500 Fax: +91 11 23288534 Email: cupdel@cambridge.org C-22, Brigade M.M., K.R. Road, Jayanagar, Bengaluru-560070 Tel.: +91 80 65593388, 26764817, 26762764 Fax: +91 80 26761322 Email: cupbang@cambridge.org Cambridge House, Plot No. 80, Service Industries, Shirvane, Sector-1, Nerul, Navi Mumbai-400706 Tel.: +91 22 27709172, 27713810 Fax: 91 22 27709173 Email: cupmum@cambridge.org The Cambridge Centre, 10, Raja Subodh Mullick Square, 2nd Floor, Kolkata-700013 Tel.: +91 33 22259976, 22250046 Fax: +91 33 22250327 Email: cupkol@cambridge.org The Cambridge Centre, 21/1 (New No. 49), 1st Floor, Model School Road, Thousand Lights, Chennai-600006 Tel.: +91 44 42146807, 28291294 Fax: +91 44 28291295 Email: cupchen@cambridge.org House No. 3-5-874/6/4 (Near Fernandez Hospital, OP Block), St. No. 5, Hyderguda, Hyderabad-500029 Tel.: +91 40 23244458, 66101126 Fax: +91 40 23244459 Email: cuphyd@cambridge.org Agarwal Pride, A Wing, 1308, Kasba Peth, Near Surya Hospital, Pune-411011 Tel.: +91 20 24575767, 24575768 Fax: +91 20 24575768 Email: cuppune@cambridge.org T.C. 25/2732, Lukes Lane, Ambujavilasam Road, Thiruvananthapuram-695001 Tel: +91 471 4064404, 4064405 Fax: +91 471 4070093 Email: cuptvm@cambridge.org Representative Office: Monzeera House, Om Bhawan, 2nd Floor, Panbazar, Guwahati-781001 Telefax: +91 361 2735336 Email: nkakoty@cambridge.org Follow us on Facebook: www.facebook.com/cambridgeindia

Twitter: www.twitter.com/cambridgeindia

04/2014