LBST 100 - Journeys CSCI 380 - Theory of Computation