CS345 / MA345 / CS541
Automata Theory and Formal Languages
Fall 2023
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 28 Preface
Chap. 1 (Introduction)
2 Wed, Aug 30 Syllabus
Tips for doing well in this course
3 Fri, Sep 1 Chap. 2 (Finite Automata)
to end of Sect. 2.1
Sect. 2.2 to middle of p. 10
4 Mon, Sep 4 Sect. 2.2, middle of p. 10
to end
Assignment policy
Preface of the solutions
2.2.* A1 (partial)
5 Wed, Sep 6 Sect. 2.3 to Example 2.9
2.3.*
6 Fri, Sep 8 Sect. 2.3, Example 2.10 to end
Sect. 2.4 to top of p. 27
2.3.*
A1 (full)
7 Mon, Sep 11 Sect. 2.4, top of p. 27
to middle of p. 31
2.4.1, 2.4.2
2.4.5 to 2.4.8
A2 (partial)
8 Wed, Sep 13 Sect. 2.4, middle of p. 31
to end
Sect. 2.5 to bottom of p. 36
2.4.3, 2.4.4
2.5.1, 2.5.3
9 Fri, Sep 15 Sect. 2.5, bottom of p. 36
to middle of p. 39
2.5.4 A2 (full)
10 Mon, Sep 18 Sect. 2.5, middle of p. 39
to middle of p. 42
2.5.2, 2.5.5
11 Wed, Sep 20 Sect. 2.5, middle of p. 42
to end
Chap. 3 (NFA's)
to middle of p. 47
12 Fri, Sep 22 Sect. 3.1, middle of p. 47
to end
Sect. 3.2 to bottom of p. 57
3.1.*
3.2.1, 3.2.2
A3
13 Mon, Sep 25 Sect. 3.2, bottom of p. 57
to end
Sect. 3.3 to middle of p. 63
3.2.3
3.3.2

14 Wed, Sep 27 Sect. 3.3, middle of p. 63
to bottom of p. 66
3.3.3 A4 (partial)
15 Fri, Sep 29 Sect. 3.3, bottom of p. 66
to end
Sect. 3.4 to top of p. 82
3.3.1, 3.3.4
3.4.2
3.4.6, 3.4.7
A4 (full)
16 Mon, Oct 2 Sect. 3.4, top of p. 82
to end
Chap. 4 (Regular Expr)
to end of Sect. 4.1
Sect. 4.2 to middle of p. 92
3.4.1
3.4.3 to 3.4.5
4.1.*
17 Wed, Oct 4 Sect. 4.2, middle of p. 92
to end
Sect. 4.3
4.3.* A5 (partial)
18 Fri, Oct 6 Sect. 4.4
Sect. 4.5 to middle of p. 100
4.4.* A5 (partial)
19 Wed, Oct 11 Sect. 4.5, middle of p. 100
to end
4.5.* A5 (partial)
20 Fri, Oct 13 Sect. 4.6 4.6.* A5 (full)
21 Mon, Oct 16 Chap. 5 (Nonreg Languages)
to end of Example 5.1
5.1.1

22 Wed, Oct 18 Sect. 5.1, Example 5.2
to end
5.1.2, 5.1.3

23 Fri, Oct 20 Sect. 5.2 to end of Example 5.6 5.2.1 to 5.2.3 A6
24 Mon, Oct 23 Sect. 5.2, Example 5.7
to end
Chap. 6 (CFL's)
to middle of p. 136
5.2.4
6.1.1 to 6.1.3
25 Wed, Oct 25 Sect. 6.1, middle of p. 136
to end
Sect. 6.2
6.1.4 to 6.1.6
26 Fri, Oct 27 Sect. 6.3 6.3.* A7
27 Mon, Oct 30 Sect. 6.4
Sect. 6.5 to top of p. 150
6.4.*
28 Wed, Nov 1 Sect. 6.5, top of p. 150
to end
(Optional: Sect. 6.6)
6.5.*
29 Fri, Nov 3 Sect. 6.7
Sect. 6.8 to bottom of p. 162
6.7.*
30 Mon, Nov 6 Sect. 6.8, bottom of p. 162
to bottom of p. 167
(Optional: Sect. 6.8,
bottom of p. 167 to end)
6.8.1
(Optional: 6.8.2, 6.8.3)
31 Wed, Nov 8 (Optional: Sect. 6.9)
Chap. 7 (TM's)
to end of Sect. 7.1
(Optional: 6.9.*)
7.1.*
32 Fri, Nov 10 Sect. 7.2 to bottom of p. 180
A8
33 Mon, Nov 13 Sect. 7.2, bottom of p. 180
to end
Sect. 7.3 to top of p. 187
7.3.*
34 Wed, Nov 15 Sect. 7.3, top of p. 187
to end
Sect. 7.4
7.4.*
35 Fri, Nov 17 Sect. 7.5
Chap. 8 (Undecidability)
to end of Sect. 8.1
7.5.* A9
36 Mon, Nov 20 Sect. 8.2 to top of p. 204
37 Mon, Nov 27 Sect. 8.2, top of p. 204
to end
(Optional: Sect. 8.3)
Sect. 8.4
8.2.*
8.4.*
38 Wed, Nov 29 Sect. 8.5 8.5.*
39 Fri, Dec 1 Sect. 8.6 to bottom of p. 216 8.6.1 to 8.6.5
A10
40 Mon, Dec 4 Sect. 8.6, bottom of p. 216
to middle of p. 217
8.6.6
41 Wed, Dec 6 Solution to Exercise 8.6.1
Sect. 8.6, middle of p. 217
to end
8.6.7 to 8.6.9
42 Fri, Dec 8 Solution to Exercise 8.6.3
(Optional: Sect. 8.7, 8.8)

Recordings: Click on the lecture number.

Course notes
Solutions