WClasses
CS 365 - Models of Computation
Finite automata and regular expressions. Pushdown automata and context-free grammars. Turing machines and undecidability. Time and space complexity. Diagonalization and hierarchies. CS365 covers the material in CS360 at an accelerated pace plus additional topics in computational complexity.
Prerequisites
CS240/CS240E, CS241/CS241E and (MATH239 or MATH249); Honours Computer Science, Honours Data Science (BCS), BCFM, BSE students only.
Corequisites
None
Antirequisites
CS360
Offerings
Winter 2026 [1261]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 5881 | 39 / 60 | 10:00 - 11:20 | M,W |
Winter 2025 [1251]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 5965 | 51 / 60 | 10:00 - 11:20 | M,W |
Winter 2024 [1241]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 5988 | 46 / 60 | 10:00 - 11:20 | M,W |
Winter 2023 [1231]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 6118 | 19 / 50 | 10:00 - 11:20 | M,W | MC 4058 | Eric Blais |
Winter 2022 [1221]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 5986 | 17 / 50 | 16:00 - 17:20 | M,W | MC 4063 | Shai Ben-David |
Winter 2021 [1211]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 041 | 6037 | 34 / 50 | Eric Blais |
Winter 2020 [1201]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 5884 | 47 / 50 | 11:30 - 12:50 | T,Th | MC 4041 | Eric Blais |
Winter 2019 [1191]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 5760 | 34 / 40 | 10:00 - 11:20 | M,W | DWE 1502 | Eric Blais |
Winter 2018 [1181]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 5817 | 21 / 40 | 14:30 - 15:50 | T,Th | DWE 1502 | Jonathan Buss |
Winter 2017 [1171]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 5550 | 41 / 40 | 10:00 - 11:20 | T,Th | MC 4064 | Eric Blais |
Winter 2016 [1161]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 6093 | 25 / 40 | 11:30 - 12:50 | T,Th | QNC 2501 | Jonathan Buss |
Winter 2015 [1151]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 5881 | 24 / 40 | 10:00 - 11:20 | T,Th | MC 4064 | Eric Blais |
Winter 2014 [1141]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 5695 | 23 / 40 | 10:00 - 11:20 | T,Th | MC 2017 | Shai Ben-David |
Winter 2013 [1131]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 5454 | 14 / 40 | 10:00 - 11:20 | T,Th | QNC 1507 | Jeffrey O Shallit |
Winter 2012 [1121]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 5246 | 18 / 40 | 13:00 - 14:20 | T,Th | RCH 206 | Jonathan Buss |
Winter 2011 [1111]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 5215 | 23 / 40 | 13:00 - 14:20 | T,Th | RCH 206 | Anna Lubiw |
Winter 2010 [1101]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 5198 | 34 / 40 | 13:00 - 14:20 | T,Th | DWE 1515 | John Watrous |
Winter 2009 [1091]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 4435 | 27 / 40 | 13:00 - 14:20 | T,Th | MC 1085 | Jonathan Buss |
Winter 2008 [1081]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 3607 | 32 / 40 | 13:00 - 14:20 | T,Th | MC 4042 | Jeffrey O Shallit |
Winter 2007 [1071]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 3563 | 22 / 30 | 13:00 - 14:20 | T,Th | RCH 109 | Anna Lubiw |
Winter 2006 [1061]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 3501 | 19 / 30 | 13:00 - 14:20 | T,Th,R,C,H | Jonathan Buss |
Winter 2005 [1051]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 3466 | 21 / 30 | 11:30 - 12:50 | T,Th,D,C | Prabhakar Ragde |
Winter 2004 [1041]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 3346 | 16 / 30 | 13:00 - 14:20 | T,Th,M,C | Naomi Nishimura |
Winter 2003 [1031]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|---|---|---|---|---|---|
| LEC 001 | 4946 | 22 / 30 | 13:00 - 14:20 | T,Th,M,C | Anna Lubiw |