200 Problems on Languages, Automata, and Computation

Formal languages and automata have long been fundamental to theoretical computer science, but students often struggle to understand these concepts in the abstract. This book provides a rich source of compelling exercises designed to help students grasp the subject intuitively through practice. The text covers important topics such as finite automata, regular expressions, push-down automata, grammars, and Turing machines via a series of problems of increasing difficultly. Problems are organised by topic, many with multiple follow-ups, and each section begins with a short recap of the basic notions necessary to make progress. Complete solutions are given for all exercises, making the book well suited for self-study as well as for use as a course supplement. Developed over the course of the editors' two decades of experience teaching the acclaimed Automata, Formal Languages, and Computation course at the University of Warsaw, it is an ideal resource for students and instructors alike.

形式語言和自動機一直是理論計算機科學的基礎，但學生常常難以理解這些抽象概念。本書提供了豐富的引人入勝的練習題，旨在通過實踐幫助學生直觀地掌握這一主題。本書涵蓋了重要的主題，如有限自動機、正則表達式、下推自動機、文法和圖靈機，通過一系列難度逐漸增加的問題進行介紹。問題按主題組織，許多問題有多個後續問題，每個部分開始時都有一個簡短的回顧基本概念，以便進一步學習。所有練習題都提供了完整的解答，使本書非常適合自學以及作為課程補充教材使用。本書是在華沙大學教授著名的自動機、形式語言和計算課程的編輯們二十年教學經驗的基礎上開發的，是學生和教師的理想資源。