Source: https://fac.umc.edu.dz/ista/pdf/cours/Polycopi%C3%A9-automatisme-bouchahed_A.pdf