Research 4: Theory of Computation