Title: Notes on Computation Theory