Abstract:
Le but de notre étude est de cerner le probléme de l'automatisation du calcul des machines séquentielles
notre travail s'est limité a la recherche de méthodes de calcul facilment programmables dans le cas des machines séquentielles synchrones.