CSC2060: Theory of Computation
Contents
⁃Syllabus, Course Contents, Practical, Lectures, Exams, Planner and Grades (Login required)
⁃Short videos (sub lectures) (Login required)
Additional Notes
Set and Sequences
Functions
Graphs and Trees
⁃Graphs - MIT
⁃Konigsberg Bridge Problem
⁃More on tree traversals
Mathematical Proofs
DFA
NFA
Regular Languages and Regular Expressions
⁃Regular Expressions
⁃Designing Regular Expressions
⁃Definitions-Regular Language and Regular Expression
Non-Regular Languages
⁃Pumping Lemma
⁃Non-regular Languages
⁃Non-Regular Languages...
Pushdown Automata, CFG, CNF, Non-CFL, Turing Machines, Decidability, and Time Complexity
⁃Available through Canvas (Login required)