Introduction to Theory of Computation (COMP 3803)
Fall 2023

Instructor: Michiel Smid
Office: Herzberg Building 5125C
E-mail: michiel@scs.carleton.ca
Lectures:
Fall term:
Office hours:
Course objectives: Theoretical aspects of computer science.
Topics covered include: Formal languages and automata theory (regular languages, finite automata, context-free languages, pushdown automata), computability theory (Turing machines, Church-Turing Thesis, decidability, Halting Problem).
Textbook:
Important dates:
Grading scheme:
Assignments:
Assignments from the fall term of 2022:
Midterm:
Final exam:
Academic Integrity:
What was done in class (all links to video lectures are from previous terms):
Tentative schedule, based on the last time I taught this course.