Set of notebooks revolving around computational theory. From finite automata to Turing Machines, decidability, complexity analysis, Church-Turing thesis, to P vs. NP, work and understanding of a vast set of computational theory is shown here.
For Minerva CS142. Grade: A