Add example text. Fix finite repeition bug and Hopcroft minimizer bug