https://9pdf.net/document/zwvwkdv1-regular-languages-and-minimal-saturated-automata.html