Obtaining shorter regular expressions from finite-state automata
scientific article; zbMATH DE number 5129786
scientific article