// afn.h

// << Algorithmique du texte >>
// Maxime Crochemore, Christophe Hancart et Thierry Lecroq
// Vuibert, 2001.

static int compteur = 0;

struct _etat {
   int numero, terminal;
   Liste succ;
};

typedef struct _etat *Etat;

struct _automate {
   Etat initial;
};

typedef struct _automate *Automate;

Etat nouvelEtat();
Automate nouvelAutomate();

#define initial(M) ((M)->initial)
#define terminal(q) ((q)->terminal)