CS 1502: Formal Methods in Computer Science
University of Pittsburgh, Spring/2022
Arjun Chandrasekhar
Home
Syllabus
Lecture Slides
Lecture Notes
(current)
Written Assignments and Exams
Programming Assignments
Getting Help
State diagrams were created using
JFlap
and
Flap.js
Regular Languages and Finite Automata
Regular Expressions
Non-Regular Languages
Turing Machines
Turing Machine Variants
Recursively Enumerable Languages
Turing Machine Closure Properties
Turing Decidable Languages
Countability and Diagonalization
The Halting Problem
Turing Reductions and Undecidability
Mapping Reductions
The Recursion Theorem