000 01810nam a2200229Ia 4500
003 NULRC
005 20250520100715.0
008 250520s9999 xx 000 0 und d
020 _a9780198071068
040 _cNULRC
050 _aQA 267.3 .N34 2011
100 _aNagpal, C.K.
_eauthor
245 0 _aFormal languages and automata theory /
_cC.K. Nagpal
260 _aOxford, United Kingdom :
_bOxford University Press,
_cc2011
300 _axiv, 348 pages :
_billustrations ;
_c24 cm.
365 _bUSD8.42
504 _aIncludes index.
505 _a1. Automata, formal languages and computability -- 2. Mathematical preliminaries -- 3. Finite automata -- 4. Regular grammar and regular sets -- 5. Context-free grammars and languages -- 6. Pushdown automata -- 7. Turing machines -- 8. The pitfall of algorithmic computing: undecidability -- 9. Computable functions -- 10. Computational complexity: tractable and possibly intractable problems.
520 _aFormal Languages and Automata theory presents the theoretical aspects of computer science, and helps define infinite languages in finite ways; construct algorithms for related problems and decide whether a string is in language or not. These are of practical importance in construction of compilers and designing of programming languages, thus establishing the course as a core paper in third/fourth year of various universities. This book adopts a holistic approach to learning from fundamentals of formal languages to undecidability problems. Its organization follows the order in which the course is taught over the years, and is well-accepted by the student community. The contents of each topic motivate the reader to easily understand the concepts rather than remember and reproduce.
650 _aFORMAL LANGUAGES
942 _2lcc
_cBK
999 _c12001
_d12001