ullman theory of computation solution pdf