Code for things related to the Theory of Computation