Online lectures for March 16 onward
As in Weeks 1-3, you may want to watch each videos multiple times, or replay parts of them, depending on how familiar you already are with the material. Taking notes while you watch might help you remember the material better.
Week 12
- Part 1 (Deterministic and nondeterministic finite state automata are equivalent)
- Part 2:
- Since we already covered a lot of material in the past couple of weeks, there won't be a part 2 video. Please take a look at the Week 12 tutorial problems on the more page, which covers some material from this week and last.
- The material I would have covered is in Sections 7.5 and 7.6 of the
Course notes for CSC B36/236/240.
However, since we didn't really get to that material, you aren't required
to know it for the final. Here is a summary of what would have been
covered:
- A proof that if there are FSAs accepting languages \( L \) and \( L' \), then there are FSAs accepting \( L \cap L' \), \( L \cdot L' \) and \( L^* \).
- Using that, a proof that every language accepted by some regular expression is accepted by some FSA.
- A proof of the other direction: every language accepted by some FSA is accepted by some regular expression. This completes the proof that the three definitions of regular language (using DFSAs, NFSAs and regular expressions) are all equivalent.
Week 11
- Part 1 (Formal languages and regular expressions)
- Part 2 (Finite state automata):
- Part 3:
Week 10
- Part 1 of 2 (Analyzing the runtime of algorithms):
- Part 2 of 2 (Program correctness):
The slides are included in case you find them useful. The slides with speaker's notes include almost the same information as you would get by watching the video. However, if you are deciding whether to use the video or the slides, I recommend the video.
Online lectures: Weeks 1-3
In the second and third weeks, we'll use video lectures which you should watch before class. The regular lecture period will be used for a problem session.
The videos are short. You may want to watch each videos multiple times, or replay parts of them, depending on how familiar you already are with the material. Taking notes while you watch might help you remember the material better.
You should use these online exercises to test your understanding of each video. (You do not need to submit them.)
These lecture videos feature Prof. Faith Ellen, who usually teaches CSC240. Each lecture is available as a video file you can download and as a Youtube video.
Updated January 31: Last year's problem session slides, which the students solved together in class after each video, are now available on the More page
Week 1
Updated January 6: this originally said these videos are optional, but since I didn't finish all the material in today's lecture, please watch the Lecture 2 video in addition to Lectures 3 and 4. Everything up to the the 7:38 mark was covered in lecture, so you can start there (the voice will say "In this class, and in the MIT text, ...").
In Week 1 we did a regular in-class lecture. We covered the material in Online Lecture 1 but only some of the material in Online Lecture 2. Please watch Online Lecture 2. You can watch Lecture 1 if you like, but I already covered the material in class.
- Lecture 1 (optional): [video file] [Youtube] [exercises]
- Lecture 2 (January 6 class already covered up to 7:38): [video file] [Youtube] [exercises]
Week 2
Watch these before class on Monday, January 13.
- Lecture 2 (January 6 class already covered up to 7:38): [video file] [Youtube] [exercises] (copied here from Week 1 as a reminder to watch it too)
- Lecture 3: [video file] [Youtube]
- Lecture 4: [video file] [Youtube]
- Exercises for Lectures 3 and 4
Week 3
Watch these before class on Monday, January 20.
- Lecture 5: [video file] [Youtube]
-
Lecture 6: [video file] [Youtube]
- The Lecture 6 video refers to some documents in the "course documents" section of the website. They can be found on the further reading page.
Slides
Here are the slides used in the videos. You might find them helpful when taking notes or reviewing. However, reading the slides is not a substitute for watching the videos.
You may need a password to access these files. The password is given out in the first lecture and on the course information sheet. If you've lost the password, just email the instructor (csc240-2020-01@cs.toronto.edu).