Source: https://damien.nouvels.net/cours/automates/4_ProprietesDesLanguagesReguliers.pdf