Solutions manual to accompany introduction to languages and the theory of computation