Leung, H. Regular Languages and Finite Automata. TRIUMPHSAnnals 2026, 1.