date type titre
heure heure parm
texte

equation : X^2 = X
automates finis : lecture (calcul), langage, asynchrone, déterministe
représentation des automates
etat accessible, coaccessible, automate émondé
lien