Source: http://www8.umoncton.ca/umcm-cormier_gabriel/Circuitslogiques/MachinesEtat.pdf