Update theory_of_computation.md