- Course Title: CS 454 Theory of Computation
- Location: EB 2160
- Time: M & W 10:00 -- 11.15 a.m.
- Course Web Site: http://www.cs.siue.edu/~tgamage/F19/CS454/
- Assignment Dropbox: CS454@Moodle
Instructor Contact Information
- Instructor: Thoshitha Gamage, Ph.D.
- Office: EB 3053
- Phone: (618) 650-2407
- Email: TGAMAGE (AT) SIUE (DOT) EDU
- Web Site: http://www.cs.siue.edu/~tgamage
- Office Hours: M & W 11:20 -- 12:15 p.m., T 10:50 -- 12:00 p.m. or by appointment
Course Material
- Syllabus: Download |
- Tentative Schedule:
Week Topic Slides PS 01 Course Introduction and Administrivia Regular Languages: Deterministic Finite Automata (DFA) 02 In-class Problem Solving #01 
Non-Deterministic Finite Automata (NFA) 03 Equivalence and Regular Expressions Regular Grammer 04 Closure Properties Non-Regular Languages Pumping Lemma 05 Context-Free Languages (CFL): Context-Free Grammars 06 midterm exam i Push-Down Automata (PDA), Normal Forms 07 Pumping Lemma for CFL CFL Properties and Equivalence 08 Recursively-Enumerable Languages (REL): Recursive vs. REL 09 Turing Machines (TM) 10 Halting Problem midterm exam ii 11 -- buffer space for fallover -- Computational Complexity: Undecidability 12 Complexity Classes: P, NP, NP-C P vs. NP 13 Satisfiability, Cook’s Theorem Church-Turing Thesis 14 Topics TBA 15 thanksgiving break 16 17 final Exam: Tuesday, Dec. 10 @ 10:00 -- 11:40 a.m. Back to Top
Course Assignments
| Week | Assigned On | Assignment |
|---|---|---|
| 01 | Computer Science Cheat Sheet| Link to JFLAP| |
|
| 03 | M01: Graduate Project Proposal [Dropbox] | [Dropbox]
|
|
| 09 | M02: Graduate Project Progress [Dropbox] | [Dropbox]
|
|
| 13 | M03: Graduate Project Presentation Slides [Dropbox] | [Dropbox]
|
|
| 16 | M04: Graduate Project Final Report [Dropbox] | [Dropbox]
|