Abstract FR:

Pour caracteriser certaines proprietes des systemes de transition, on definit une algebre formelle dont les operateurs primitifs s'interpretent, dans tout systeme de transition fini comme des fonctions des ensembles d'etats et de transitions de ce systeme calculables par des algorithmes classiques de graphes