COSC 417: Introduction to Theory of Computation

  

CLASS LOG 

Grades  (you can identify yourself with the last 4 digits of the Towson ID)

Syllabus     Plagiarism and how to avoid it  Assignment template    tex file   pdf file

Lecture Notes (do not print, they may be updated)  NOTES 1 General introduction to Theory of Computation NOTES 2    Methods to show that a language is not regular NOTES 3 (slides)   Push-down automata NOTES 4 (slides)   Equivalence of PDA and CGF, Pumping Lemma for context-free languages. NOTES 5 (slides)  Turing machines

 

Assignments, announcements, etc.

Assignment 1    .tex file  - due Feb 11  

Assignment 2    .tex file  - due Feb 18

Assignment 3    .tex file  - due Feb 25

Assignment 4    .tex file  - due March 3.

The midterm exam will be on March 10. You can bring 2 pages handwritten (on both sides if you want) with whatever information you want. Guidelines for the exam. Mock Test