COT 4210: Discrete Structures II Programs

DFA Minimization
Chomsky Normal Form
Turing Machine Simulator
Reduce SAT to VC
DFA Count