1. Theory of Automata
|1."Introduction to Automata Theory, Languages, and Computation" by Hopcroft|
“Introduction to Automata Theory, Languages, and Computation” by Hopcroft Book Review: The comprehensive textbook is designed for the undergraduate students studying B.Tech in CSE/IT as well as B.Sc in Computer Science. The textbook is completely based on computer science and internet theories. The book contains developed practical applications and helps the reader to provide Gradiance, an online assessment feature. It elaborates theoretical ideas in a brief and understandable manner. The book discusses Theory of Automata as an important aspect followed by Mathematical Preliminaries, Formal Languages and Push down Automata. The book also talks about Deterministic and Nondeterministic Finite Automata. The book also incorporates Properties of Regular Languages, Introduction to Turing Machines as well as Undecidability.
|2."Introduction to Formal Languages, Automata Theory and Computation" by Krthivasan|
Introduction to Formal Languages, Automata Theory and Computation” by Krthivasan Book Review: This textbook discovers all the basic concepts of Formal Languages designed for the undergraduate students of Computer Science Engineering/ IT Students. The book presents the theoretical concepts in Concise and clear manner with an intense information of Formal Languages, Automata Theory and Computation followed by Formal Grammar, Basic Automata Types. The book also examines the underlying principles and theory of computation. The book overviews the recent trends in the field and applications are introduced at the appropriate places to stimulate the interest of active learners. The book covers various contents like Preliminaries which include Sets, Relation and Function, Method of Proof and Graphs and Languages. The book further incorporates Finite State Automatawith its Characterization, Properties and Decidability.
|3."Theory of Automata and Computation" by Adesh K Pandey|
“Theory of Automata and Computation” by Adesh K Pandey Book Review: The textbook is designed for the undergraduate students of B.Tech in Computer Science or Information Technology along with B.Sc in Mathematics and Computer Science. The book is mainly divided into four Sections. The first section includes Finite Automata, Regular Expression and Introduction to Machines. The second section of the book discusses Various properties of Regular Sets, Context-Free Grammars and Languages followed by Simplified Context-free Grammar and its Normal Form. Further the third section of the book incorporates Pushdown Automata, Properties of Context-Free Languages and Turing Languages. The last section of the book concludes with Chomsky Hierarchies, Computability and Recursive Function Theory. Each chapter of the book contains Short Questions and Answers at the end of the Chapter.
|4."Formal Language and Automata Theory" by Sunitha|
|5."Theory of Automata, Formal Languages and Computation (As Per UPTU Syllabus)" by S P Eugene Xavier|
“Theory of Automata, Formal Languages and Computation ” by S P Eugene Xavier Book Review: This textbook lays emphasis on Introduction to the basic models of Computability to the Undergraduate Students. The book revolves around the concept of Finite Automata and their Properties. The book also discusses Pushdown Automata which provides a class of models and enables the analysis of context-free language. The book also introduces Turing Machines along with the Computability and Decidability. Moreover, this textbook also provides Conceptual tools used in Computer Science. The book also presents challenging exercises designed to hone the analytical skills of students. Also, there is an illustration of each method which is solved in various ways for the benefit of the students.
|6."Automata Theory and Computability for VTU (SEM-V CSE/ISE COURSE-2015)" by A A Puntambekar|
|7."Automata, Computability and Complexity: Theory and Applications" by Rich|
“Automata, Computability and Complexity: Theory and Applications” by Rich Book Review: This textbook focuses on application which demonstrates why studying theory will improve designers and builders. The book features topics like use of the closure theorems for regular and context-free languages, ambiguity in context-free grammars, parsing, functions on languages, and decision procedures for regular and context-free languages. Moreover, the book incorporates Top-down and bottom-up parsers, stochastic automata, Context-Sensitive Languages, The Chomsky Hierarchy and recursive functions. Also, this textbook addresses students’ varying backgrounds in discrete mathematics and logic.
|8."A Textbook on Automata Theory" by Srimani|
“A Textbook on Automata Theory” by Srimani Book Review: The comprehensive textbook has been designed for the students of Computer Science. The book presents various topics with adequate explanation. The book includes ample illustrations supporting theoretical inputs and contains exercises for practice at the end of the chapter. The book also provides a brief history of Mathematicians and computer scientists, and highlights important theorems with proofs. The book covers major topics which include Finite Automata, Equivalent Automata, Minimisation/ Optimisation of DFA as well as Transducers, Context-Free Grammars and Context-Free Languages. The book briefly describes the concept of TM Extensions and Languages, Formal Languages/Grammar Hierarchy
|9."Introduction to the Theory of Computation" by Michael Sipser|
“Introduction to the Theory of Computation” Book Review: This book gives a clear and concise understanding of complex computational theory topics. Fundamental mathematical properties of computer hardware, software, and applications along with advanced theorems and proofs have been seamlessly integrated into a single book. Important classes like BPP, L, NC, P, NP, PSPACE, Alternating, exptime, etc. and their relation to other complexity classes have been detailed in an approachable manner. It is suitable for students and professionals who need the best presentation of automata in the business.
|10."Introduction to Computability" by Fred C Hennie|
“Introduction to Computability” Book Review: This book focuses on the various properties of Algorithmic Computation, Turing Machines, Turing Computability, and Primitive recursive functions. Spanning over six chapters, the book explains each proof, implication and computability issue in great detail. The numerous unsolved exercises along with the descriptive texts make this an ideal read for undergraduate computer science students with a few prerequisites. The book covers the topic of algorithmic computation which is an abstract treatment of algorithm classes and properties. Further the book covers topics on Turing machines and computability, primitive recursive functions where details about PR functions are nicely demonstrated. The further chapters define recursive and recursively enumerable sets and show the relationship between them and the functions described in other chapters. The other chapters in the book focus on the issues of computability and decidability. The authored revisits the same concepts in different contexts. The book is useful for readers who need slow exposition to concepts and contains very interesting and useful exercises.
|11."The Theory of Computation" by Bernard M Moret|
“The Theory of Computation” Book Review: This book focuses on the study of problem solving through computation in the presence of realistic resource constraints. It clearly details the limits to computation and relates them to resource usage while exploring possible avenues of compromise through approximation and randomization. The book also introduces models through finite automata and then, builds to universal models and recursion theory. The author successfully connects theoretical developments to practical problems and illustrations, making this a suitable book for students and professionals alike. The book gives a set of questions and methods that characterize computer science theoretically thereby dealing with all the practical issues in the field of computing. The book also presents limits to computation thereby relating the limits to resource usage and exploring the avenues of compromise through approximation and randomization. The book also deals with research areas in theoretical computer sciences that have a great impact in the area of computing.
|12."Computational Complexity" by Christos H Papadimitriou|
“Computational Complexity” Book Review: This book offers a unified introduction to computational complexity by integrating computation, applications and logic seamlessly. Topics like cryptography & protocols, reductions & NP-completeness, randomized algorithms, approximation of optimization problems, circuit complexity, structural aspects of the P=NP question, polynomial hierarchy, etc. have been explained in great detail. Extensive exercises with historical notes, references, and challenging problems are also included. This book is suitable for computer science graduate and undergraduate students.
|13."Automata and Computability" by Dexter C Kozen|
“Automata and Computability” Book Review: This book is very useful for undergraduate students which provides introduction to various theoretical methods of computability thereby providing rich and varied structural models. This book provides an introduction to the basic theoretical models of computability including finite automata, context-free languages, pushdown automata, and Turing machines. The author analyses the effective computability, decidability, and Godel’s incompleteness theorems while developing their rich and varied structure. Advanced topics like Kleene Algebra, Lambda calculus, and Myhill-Nerode relations & theorems are also featured. The book describes finite automata and its properties. The book also provides a broader class of models and provides the analysis of context free languages. In the later part, the book provides description of turing machines and the book provides analysis of effective computability, decidability and other incompleteness theorems. This book is suitable for students who have prerequisite knowledge about elementary discrete mathematics.
|14."Introduction to Automata Theory, Languages, and Computation" by John E Hopcroft and Rajeev Motwani|
“Introduction to Automata Theory, Languages, and Computation” Book Review: This book explains theoretical concepts of formal languages, automata theory, and computational complexity with practical examples in a concise manner. The 3rd edition of this book comes with an online assessment tool for computer science called Gradiance. Through this tool, teachers can have one-on-one interaction with students and track their performances with tests focusing on both syntax and semantics. This book is suitable for undergraduate and graduate students from computer science background.
|15."Theory of Computation: A Problem-Solving Approach (WIND)" by by Kavi Mahesh|
“Theory of Computation: A Problem-Solving Approach (WIND)” Book Review: This book covers the core concepts of theory of computation in a clear and concise manner, avoiding all the obscure formalisms to promote better understanding. It follows a problem-solving approach rather than a theorem-proving one, making it a highly effective book to practice concepts from. A CD is also included with the book which offers lecture videos of the mentioned topics. Students with computer science and engineering backgrounds can refer to this book for their respective courses.
|16."Introduction to Automata Theory, Formal Languages and Computation" by Kandar|
“Introduction to Automata Theory, Formal Languages and Computation” Book Review: This book approaches topics like formal languages, automata theory, and theory of computation in a clear-cut manner. Each concept is explained with numerous relevant examples and illustrations. A brief introductory chapter on compilers, explaining its relation to theory of computation, is also given. This book is suitable for computer science students who require a quick insight regarding automata theory to clear examinations.
|17."Theory of Computer Science: Automata, Languages and Computation" by K L P Mishra|
“Theory of Computer Science: Automata, Languages and Computation” Book Review: The book is recommended and designed to meet the need for the Undergraduate students pursuing B.Tech in CSE/IT as well as for B.Sc students. This textbook offers a cohesive representation of all aspects of theoretical computer science which include Automata, formal languages, Computability, and Complexity as well as it covers Mathematical preliminaries. This book offers a cohesive presentation of all aspects of theoretical computer science, namely automata, formal languages, computability, and complexity. It also covers mathematical preliminaries and Turing machines. Detailed sections on Kleene’s theorem, pigeonhole principle, principle of induction, decidability & recursively enumerable languages, complexity theory, and NP-complete problems are also included. Objective and subjective type questions with answers provided at the end of the book with supplementary solved examples makes this an ideal read for students from computer science and engineering or computer applications backgrounds. The book starts with Prepositions and Predicates, mathematical Preliminaries followed by Theory of Automata. The book also incorporates various chapters like Formal Languages, Regular sets and Regular Grammars. Each chapter contains objective type questions with answers provided at the end of the book.
|18."Elements of the Theory of Computation" by Harry R Lewis and Christos H Papadimitriou|
Book Review: The concepts related to theory of computation are clearly presented in the book. The readers do not need any background in mathematics. The authors present the classical and contemporary theories of computation in a very friendly way. The book contains separate chapters on algorithms, complexity analysis and many algorithmic ideas. Each section in a chapter is followed by many problems which will test the understanding of the user. The book covers a full spectrum of modern topics in automation which include recursive function theory, Halting problem, computational complexity theory and many other advancements
|19."Introduction to Automata Theory, Languages, and Computation" by John E Hopcroft and Jeffrey D Ullman|
“Introduction to Automata Theory, Languages, and Computation” Book Review: This book is a rigorous exposition of formal languages and models of computation with an introduction to computational complexity. The authors present the theory in a concise and straightforward manner. Exercises at the end of each chapter, including some that have been solved help readers enhance their understanding of the material. This book is appropriate for upper-level computer science undergraduates who are comfortable with mathematical arguments.
|20."Introduction to the Theory of Computation" by Michael Sipser|
Book Review: This book gives a clear understanding of complex, theoretical concepts in computational theory. The coverage on the concept of deterministic context free languages is very useful for the understanding of parsing and LR(k) grammars. The book provides a firm understanding of basic mathematical properties of computer hardware, software and various other technologies with a blend of practical and philosophical coverage. The book also includes advanced theorems, proofs and mathematical derivations for various studies in theoretical computing.
|21."Introduction to Languages and The Theory of Computation" by John Martin|
Book Review: This self-explanatory book provides an introduction to the theory of computation by explaining complex topics with the help of mathematical language. Theorems are explained with examples while highlighting their applications simultaneously. This book provides an introduction to theory of computation, thereby focusing on formal languages, automata, abstract computation models and computability. It also provides basics of computational complexity and NP-completeness. The book also introduces the mathematical tools that are of some use in the computational theory. This book is very useful for students who do not have a strong background in discrete mathematics. Students go through various computational questions related to topics that will have a vast impact in computer science. The authors also provide discussion and various examples that will help the readers. Short introductory texts overviewing the topic to be covered are also provided. This book is suitable for computer science students who have a prerequisite knowledge of set theory, formal proofs and formal languages.
|22."Introduction to Formal Languages, Automata Theory and Computation" by Krithivasan|
“Introduction to Formal Languages, Automata Theory and Computation” Book Review: This book presents the theoretical concepts in a concise and clear manner, with an in-depth coverage of formal grammar and basic automata types. The book also examines the underlying theory and principles of computation and is highly suitable to the undergraduate courses in computer science and information technology.
|23."Theory of Automata, Formal Languages and Computation 1st Edition" by S P E Xavier|
|24."Formal Languages and Automata Theory" by K Anuradha|
|25."Theory of Automata and Formal Languages 2nd Edition" by Anand Prakash Shukla|
|26."Formal Languages And Automata Theory" by C K Nagpal|
|27."Introduction to Automata Theory, Languages, and Computation" by John E Hopcroft and Rajeev Motwani|
“Introduction to Automata Theory, Languages, and Computation” Book Review: This book mentions the core principles of automata theory, languages and computations. Main chapters included are automata: the methods and the madness, finite automata, regular expressions and languages. Other chapters included are properties of regular languages, context free grammar and languages, pushdown automata and properties of context free languages. exercises and problems are discussed at the end of each unit for student’s practice. References and summary are also provided in each chapter. This book is beneficial for undergraduate computer engineering and information technology engineering students.
2. Formal Systems
|1."Introduction to Languages and The Theory of Computation" by John Martin|
Book Review: This book establishes connection between computing practice and an understanding of the profound ideas that defines it. The book also has the ability to explain complex topics clearly thereby making an introduction to the theory of computation an amazing resource for a number of upper level students. The book presents theoretical concepts with the help of the precision and clarity of mathematical language. The author also presents the necessary mathematical tools and also provides discussion and examples that make the language intelligible.
|2."Formal Systems Specification" by Spies Merz Broy|
“Formal Systems Specification” Book Review: This book consists of 15 revised papers along with the synopsis of the RPC-memory specification problem statement discussed in a workshop at Schloss Dagstuhl, Germany, in September 1994. This case study in the formal design of distributed and concurrent systems discusses the different approaches to formal specification, refinement, and verification.
|3."Learnability Results for Elementary Formal Systems: EFS and Prolog programs" by Shahid Hussain|
“Learnability Results for Elementary Formal Systems: EFS and Prolog Programs” Book Review: This book offers a comprehensive relationship model for a wide range of Prolog programs and Elementary Formal Systems (EFS) classes. It also contains the proofs of containment, partial containment and incompatibilities associated with these classes. A study of two classes of Prolog Programs, hereditary and reductive, is done including useful functions like length, delete, add, prefix, suffix, split, append, merge, etc.
|4."Descriptional Complexity of Formal Systems: 15th International Workshop, Dcfs 2013, London, Canada, July 22-25, 2013, Proceedings" by Rogerio Reis and Helmut Jurgensen|
“Descriptional Complexity of Formal Systems” Book Review: This book consists of the 22 papers selected from the proceedings of the 15th International Workshop of Descriptional Complexity of Formal Systems, held in London, ON, Canada, in July 2013. Some of the areas covered in this volume are – grammars, automata, languages, and other formal systems; descriptional complexity in resource-bounded or structure-bounded environments; co-operating systems; Kolmogorov-Chaitin complexity; structural complexity as related to descriptional complexity; circuit complexity of Boolean functions and related measures; nature-motivated architectures and unconventional models of computing.
|5."Formal Methods for Open Object-Based Distributed Systems" by FRANK S DE BOER GILLES BARTHE|
“Formal Methods for Open Object-Based Distributed Systems” Book Review: This book consists of 14 selected papers and 1 invited lecture from the proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008. A broad range of topics are covered such as – model checking; semantics of object-oriented programming; theorem proving and deductive verification; type systems and behavioral typing; formal approaches to component-based design; formal methods for service-oriented computing; formal techniques for specification, analysis, and refinement; integration of quality of service requirements into formal models; and applications of formal methods.
|6."Embedded Systems Design Based on Formal Models of Computation" by Zoran Salcic and Ivan Radojevic|
“Embedded Systems Design Based on Formal Models of Computation” Book Review: This book offers an insight into DFCharts – a model of computation for heterogeneous embedded systems – by integrating Finite State Machines with Synchronous Dataflow Graphs. Two system level languages, Esterel and SystemC, have been used to illustrate how DFCharts-based modeling can improve design. Replete with examples, the reader requires basic familiarity with models of computation.
3. Switching and Automata Theory
|1."Switching and Finite Automata Theory" by Zvi Kohavi and Niraj K Jha|
“Switching and Finite Automata Theory” Book Review: This book explains the behaviour and limitations of logic machines. It covers CMOS gates, logic synthesis and logic design for upcoming nanotechnologies and digital system testing. Asynchronous circuit design is also shown in the book. The book at first introduces basic knowledge and then includes information on combinational logic design and testing. Topics of machine design and testing are also provided. There are 200 examples and 350 questions at the end of each chapter present in the book.
|2."Introduction to Switching and Automata Theory (Systems Science)" by Michael A Harrison|
“Introduction to Switching and Automata Theory (Systems Science)” Book Review: This book introduces automata theory and switching theory. It’s applications are covered in the book. This is suitable for engineering students who are persons interested in automata.
|3."Fuzzy Switching and Automata: Theory and Applications# (Computer Systems Engineering Series)" by Abraham Kandel|
|4."Switching Theory and Automata (B.E.V Sem. EN)" by Experienced Professor|
“Switching Theory and Automata (B.E.V Sem. EN)” Book Review: This book is suitable for the students of engineering background. It includes question banks from different universities with its proper solutions. A solved question bank is also present in the book.
|5."Switching Theory: Insight through Predicate Logic" by Shimon Peter Vingron|
“Switching Theory: Insight through Predicate Logic” Book Review: The book covers predicate logic and its concepts on propositional logic in switching theory. Theory of latches or memory circuits are covered in this book. It is a useful guide for undergraduate and graduate courses. Topics like sequential circuit and ideas of switching theory are highlighted in this book. Their composition and verification is also identified in the text. The book mentions formal proofs and predicate logic in the theory side. The practical part of the book covers formal synthesis procedures with its circuits.
|6."From Boolean Logic to Switching Circuits and Automata: Towards Modern Information Technology (Studies in Computational Intelligence)" by Radomir S Stankovic and Jaakko Astola|
“From Boolean Logic to Switching Circuits and Automata: Towards Modern Information Technology (Studies in Computational Intelligence)” Book Review: This book describes logic networks and automata. Different algebraic descriptions and formulations are covered in this book. The book highlights switching theory and the developments of it. This book acts as a guide for researchers in the field of computing.