This is not a remark on your solutions, but rather a question about the exercises. I hope that’s ok. Pinter, Second edition. Chapter Six, Exercise I. Automata, Semigroups, and Groups. Would you agree that part 6 shows a wrong state diagram? 