theory of computation 5957