Click TDM01-Automata-Correction.pdf link to view the file.