/**
 * @file afdJetonFiltre.h
 * @brief Définition d'un AFD reconnaissant a(b+c)?|bd avec jetons et filtrage
 * @author Michel Meynard
 */
typedef enum { EINIT=0, EA, EAB, EABC, EB, EBD, NBETAT} Etat; // ATTENTION NBETAT doit être le dernier
typedef enum { J_FILTRER=-1, J_EA=300, J_EABC } Jeton;

int TRANS[NBETAT][256];		/* table de transition : état suivant */
int JETON[NBETAT];		/* jeton (1-32000) ou non final (0) ? */

void creerAfd(){			/* Construction de l'AFD */
  int i;int j;			/* variables locales */
  for (i=0;i<NBETAT;i++){
    for(j=0;j<256;j++) TRANS[i][j]=-1; /* init vide */
    JETON[i]=0;			/* init tous états non finaux */
  }
  /* Transitions de l'AFD */
  TRANS[EINIT]['a']=EA;TRANS[EA]['b']=EAB;TRANS[EAB]['b']=EAB;
  TRANS[EAB]['c']=EABC;TRANS[EINIT]['b']=EB;TRANS[EB]['d']=EBD; 
  JETON[EA]=J_EA;JETON[EABC]=J_EABC;JETON[EBD]=J_FILTRER; 
  /* jetons des états finaux */
  /* les bd sont à filtrer : comme des commentaires */
}