Formal Languages and Automata Theory

Author: Jiang Zongli
Publisher:
Publish Date: 2003-01-01
Features: Formal Language and Automata Theory is an important course for undergraduate students in computer science and technology. This book is written by the author based on their experience and insights from teaching the course at universities over more than 10 years. It not only includes the grammars, recognition models, and properties of regular and context-free languages, as well as the basic knowledge of Turing machines, but also delves into the three disciplinary forms contained in the methodology of this field. The content is characterized by abstraction and formalization, featuring both rigorous theoretical proofs and strong constructive aspects, thereby cultivating students' formal description and abstract thinking abilities. It enables students to understand and practically master the problem-solving approach of "problem, formalization, automation (computerization)." To facilitate students' comprehension of the content, Appendix A also provides suggested teaching designs. This book is suitable for senior undergraduate and graduate students in computer science and technology, as well as for students, teachers, and researchers in related fields.