Began work on Hopcroft.lhs. Wrote an algorithm to remove unreachable states in a DFA. This could probably be generalized for FSAs in general.