Theory Of Computation Final Project