Barbara Partee and Vladimir Borschev
Homework: Finite State Automata and Languages
PtMW, Ch 17, pp 480-484. Exercises 1-11, plus instructors' optional Exercise 12: a mathematical induction problem.
Many of the answers are in the back of the book.
From 2001 (when it was called Homework 15):
Student solution 1 (pdf) : All of Exercises 1-6.