CS345 / MA345 / CS541
Automata Theory and Formal Languages
Fall 2025
Lectures

Course notes
Solutions

Recordings: Click on the lecture number.

Exercises: 1.2.3 means Exercise 3 of Section 1.2; 1.2.* means all exercises from Section 1.2; 1.* means all exercices from Chap. 1. Exercises, in this context, means both exercises and study questions.


Date Reading Exercises Assignments
1 Mon, Aug 25 Preface
Chap. 1 (Introduction)
2 Wed, Aug 27 Syllabus
Tips for doing well in this course
3 Fri, Aug 29 Chap. 2 (Finite Automata)
to end of Sect. 2.1
Sect. 2.2 to middle of p. 13
4 Mon, Sep 1 Sect. 2.2, middle of p. 13
to end
Sect. 2.3 to middle of p. 18
Preface of the solutions
2.2.*
2.3.1 to 2.3.4
5 Wed, Sep 3 Sect. 2.3, middle of p. 18
to end
2.3.5 to 2.3.8
6 Fri, Sep 5 Sect. 2.4 to middle of p. 31
Assignment policy
2.4.1, 2.4.2
2.4.5 to 2.4.8
A1
7 Mon, Sep 8 Sect. 2.4, middle of p. 31
to end
Sect. 2.5 to middle of p. 36
2.4.3, 2.4.4
2.5.1, 2.5.3
8 Wed, Sep 10 Sect. 2.5, middle of p. 36
to middle of p. 39
2.5.4
9 Fri, Sep 12 Sect. 2.5, middle of p. 39
to end
Chap. 3 (NFA's)
to middle of p. 49
2.5.2, 2.5.5
A2
10 Mon, Sep 15 Sect. 3.1, middle of p. 49
to end
Sect. 3.2 to bottom of p. 57
3.1.*
3.2.1
11 Wed, Sep 17 Sect. 3.2, bottom of p. 57
to end
Sect. 3.3 to middle of p. 65
3.2.2, 3.2.3
3.3.2
12 Fri, Sep 19 Sect. 3.3, middle of p. 65
to bottom of p. 68
3.3.3
A3
13 Mon, Sep 22 Sect. 3.3, bottom of p. 68
to end
Sect. 3.4 to middle of p. 84
3.3.1, 3.3.4
3.4.1, 3.4.2
3.4.6, 3.4.7
14 Wed, Sep 24 Sect. 3.4, middle of p. 84
to end
Chap. 4 (Regular Expr)
to end of Sect. 4.2
3.4.3 to 3.4.5
4.1.*
15 Fri, Sep 26 Sect. 4.3 and 4.4 4.3.*, 4.4.* A4
16 Mon, Sep 29 Sect. 4.5 to middle of p. 110
17 Wed, Oct 1 Sect. 4.5, middle of p. 110
to end
Sect. 4.6 to bottom of p. 118
4.5.*
4.6.1, 4.6.2
18 Fri, Oct 3 Sect. 4.6, bottom of p. 118
to end
Chap. 5 (Nonreg Languages)
to middle of p. 127
4.6.3
19 Mon, Oct 6 Sect. 5.1, middle of p. 127
to middle of p. 128
5.1.1, 5.1.2
20 Wed, Oct 8 Sect. 5.1, middle of p. 128
to end
Sect. 5.2 to end of Example 5.6
5.1.3
5.2.1 to 5.2.3
21 Fri, Oct 10 Sect. 5.2, Example 5.7
to end
5.2.4 A5
22 Wed, Oct 15 Chap. 6 (CFL's)
to end of Sect. 6.1
Sect. 6.2
Sect. 6.3 to end of Example 6.7
6.1.*
23 Fri, Oct 17 Sect. 6.3, Example 6.8
to end
Sect. 6.4 to middle of p. 151
6.3.*
6.4.1, 6.4.2
24 Mon, Oct 20 Sect. 6.4 to middle of p. 151
to end
Sect. 6.5 to bottom of p. 154
6.4.3, 6.4.4
25 Wed, Oct 22 Sect. 6.5, bottom of p. 154
to end
(Optional: Sect. 6.6)
Sect. 6.7 to middle of p. 165
6.5.*
6.7.1
26 Fri, Oct 24 Sect. 6.7, middle of p. 165
to end
Sect. 6.8, to bottom of p. 171
(Optional: Sect. 6.8,
bottom of p. 171 to end)
6.7.2 to 6.7.4
6.8.1, 6.8.2
(Optional: 6.8.3)
A6
27 Mon, Oct 27 (Optional: Sect. 6.9)
(Optional: 6.9.*)
28 Wed, Oct 29 Chap. 7 (TM's)
to end of Sect. 7.1
Sect. 7.2 to middle of p. 183
7.1.*
29 Fri, Oct 31 Sect. 7.2, middle of p. 183
to end
Sect. 7.3 to middle of p. 188
7.3.1 A7
30 Mon, Nov 3 Sect. 7.3, middle of p. 188
to end
7.3.2, 7.3.3
31 Wed, Nov 5 Sect. 7.4 7.4.*
32 Fri, Nov 7 Sect. 7.5
Chap. 8 (Undecidability)
to end of Sect. 8.1
7.5.*
33 Mon, Nov 10 Sect. 8.2
(Optional: Sect. 8.3)
8.2.*
(Optional: 8.3.*)
34 Wed, Nov 12 Sect. 8.4
8.4.*
35 Fri, Nov 14 Sect. 8.5
Sect. 8.6 to top of p. 220
8.5.*
A8
36 Mon, Nov 17 Sect. 8.6, top of p. 220
to middle of p. 223
8.6.1 to 8.6.6
37 Wed, Nov 19 Sect. 8.6, middle of p. 223
to end
8.6.7 to 8.6.9
38 Fri, Nov 21 Sect. 8.7 8.7.*
39 Mon, Nov 24 Sect. 8.8 8.8.* A9

Recordings: Click on the lecture number.

Course notes
Solutions