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