les automates finis, qui constituent le mod`ele le plus simple de machine, ne
seront définis formel- lement que .... l'état initial 1, on utilise successivement les
tran- sitions de 1 ...... tomates, nous renvoyons au livre de Beauquier et al. (1992)
ou ... 
