29 int test_creer_automate(){
98 && est_dans_l_ensemble( ens, 3 )
99 && ! est_dans_l_ensemble( ens, 5 )
100 && ! est_dans_l_ensemble( ens, 6 )
109 && ! est_dans_l_ensemble( ens, 3 )
110 && est_dans_l_ensemble( ens, 5 )
111 && est_dans_l_ensemble( ens, 6 )
120 && est_dans_l_ensemble( ens,
'a')
121 && est_dans_l_ensemble( ens,
'b')
122 && ! est_dans_l_ensemble( ens,
'c')
123 && est_dans_l_ensemble( ens,
'd')
136 if( ! test_creer_automate() ){
return 1; }
void liberer_automate(Automate *automate)
Détruit un automate.
int est_une_transition_de_l_automate(const Automate *automate, int origine, char lettre, int fin)
Renvoie 1 si ('origine', 'lettre', 'fin') est une transition de l'automate et 0 sinon.
int est_un_etat_initial_de_l_automate(const Automate *automate, int etat)
Renvoie 1 si ('etat') est un état initial de l'automate et 0 sinon.
int est_une_lettre_de_l_automate(const Automate *automate, char lettre)
Renvoie 1 si ('etat') est une lettre de l'automate et 0 sinon.
int est_un_etat_de_l_automate(const Automate *automate, int etat)
Renvoie 1 si ('etat') est un état de l'automate et 0 sinon.
void ajouter_etat(Automate *automate, int etat)
Ajoute un état à un automate passé en paramètre.
void ajouter_transition(Automate *automate, int origine, char lettre, int fin)
Ajoute une transition à l'automate passé en paramètre.
int est_un_etat_final_de_l_automate(const Automate *automate, int etat)
Renvoie 1 si ('etat') est un état final initial de l'automate et 0 sinon.
Automate * creer_automate()
Crée un automate vide, sans états, sans lettres et sans transitions.
const Ensemble * get_finaux(const Automate *automate)
Renvoie l'ensemble des états finaux d'un automate.
const Ensemble * get_initiaux(const Automate *automate)
Renvoie l'ensemble des états intiaux d'un automate.
void ajouter_lettre(Automate *automate, char lettre)
Ajoute une lettre à l'alphabet d'un automate passé en paramètre.
void ajouter_etat_final(Automate *automate, int etat_final)
Ajoute un état final à un automate passé en paramètre.
void ajouter_etat_initial(Automate *automate, int etat_initial)
Ajoute un état initial à un automate passé en paramètre.
const Ensemble * get_alphabet(const Automate *automate)
Renvoie l'alphabet d'un automate.