Please sign up on the Slack channel by submitting your email address. I will mass email the invite link. Slack sign-up
Assignment 1 [Due: 24th October 2019]
Assignment 2 [Due: 21st November 2019]
Assignment 3 [Due: 28th November 2019]
- Review of Sets, Proofs
- Intro to the concept of a language
- Deterministic Finite Automata and Regular Languages
- Closure properties of operators on Regular Languages
- Nondeterministic Finite Automata
- Pumping Lemma for Regular Languages
- Chompsky Hierarchy and Non-Regular Languages
- Context Free Langauges and Context Free Grammars
- Pushdown Automata
- Pumping Lemma for Context-Free Languages
- Turing Machines
Introduction to the Theory of Computation - Michael Sipser - Third Edition
Formal Language: A Practical Introduction - Adam Webber
2.NFAs and Closure Proof Sketches
3 Assignments @ 10% each
2 CW Exams @ 10% each
1 Final Exam @ 50%
CW Exam #1 - 17th October 2019
CW Exam #2 - 14th November 2019
A1 - 24th October 2019
A2 - 7th November 2019
A3 - 28th November 2019
Video on Comptational Complexity Zoo - youtube video
Video on Godel's Incompleteness Theorem
Video on Finite-State Machines in Vending Machines
Where Did GREP Come From? - Great video on a common usage of Regular Expressions