TY - BOOK AU - Linz,Peter TI - An introduction to formal languages and automata SN - 9789384323219 U1 - 005.131 PY - 2019/// CY - New Delhi PB - Jones and Bartlett KW - Machine theory KW - Formal languages N2 - An Introduction to Formal Languages & Automata provides an excellent presentation of the material that is essential to an introductory theory of computation course. The text was designed to familiarize students with the foundations & principles of computer science & to strengthen the students' ability to carry out formal & rigorous mathematical argument. Employing a problem-solving approach, the text provides students insight into the course material by stressing intuitive motivation & illustration of ideas through straightforward explanations & solid mathematical proofs. By emphasizing learning through problem solving, students learn the material primarily through problem-type illustrative examples that show the motivation behind the concepts, as well as their connection to the theorems & definitions ER -