void liberer_automate( Automate * automate ){
liberer_ensemble( automate->vide );
liberer_ensemble( automate->finaux );
liberer_ensemble( automate->initiaux );
pour_toute_valeur_table(
automate->transitions, ( void(*)(intptr_t) ) liberer_ensemble
);
liberer_table( automate->transitions );
liberer_ensemble( automate->alphabet );
liberer_ensemble( automate->etats );
xfree(automate);
}
// abac est un sur-mot de aa
Automate * creer_automate_des_sur_mot(
const Automate* automate, Ensemble * alphabet
){
Automate* surmots = creer_automate();
Ensemble_iterateur it_al;
Table_iterateur it_trans;
int etat_act = get_max_etat(automate) + 1;
int etat_init = get_min_etat(automate) - 1;
liberer_ensemble(surmots->alphabet);
surmots->alphabet = (alphabet != NULL)? creer_union_ensemble(automate->alphabet, alphabet):copier_ensemble(automate->alphabet);
// Pour chaques transition, on ajoute un état intermédiaire qui boucle sur lui même avec tout l'alphabet. En epsilon transition il passe à l'état suivant.
for (it_trans = premier_iterateur_table(automate->transitions); !iterateur_est_vide(it_trans); it_trans = iterateur_suivant_table(it_trans)) {
Cle * cle = (Cle*) get_cle(it_trans);
Ensemble * fins = (Ensemble*) get_valeur(it_trans);
ajouter_transition(surmots, cle->origine, cle->lettre, etat_act);
for (it_al = premier_iterateur_ensemble(surmots->alphabet); !iterateur_ensemble_est_vide(it_al); it_al = iterateur_suivant_ensemble(it_al))
ajouter_transition(surmots, etat_act, get_element(it_al), etat_act);
for (it_al = premier_iterateur_ensemble(fins); !iterateur_ensemble_est_vide(it_al); it_al = iterateur_suivant_ensemble(it_al))
ajouter_epsilon_transition(surmots, etat_act, get_element(it_al));
etat_act++;
}
// On ajoute un état initial, et un état final qui bouclent sur eux-même avec l'alphabet.
ajouter_etat_final(surmots, etat_act);
ajouter_etat_initial(surmots, etat_init);
for (it_al = premier_iterateur_ensemble(surmots->alphabet); !iterateur_ensemble_est_vide(it_al); it_al = iterateur_suivant_ensemble(it_al)) {
ajouter_transition(surmots, etat_act, get_element(it_al), etat_act);
ajouter_transition(surmots, etat_init, get_element(it_al), etat_init);
}
// Les anciens états initiaux/finaux viennent/vont sur les nouvaux.
for (it_al = premier_iterateur_ensemble(automate->initiaux); !iterateur_ensemble_est_vide(it_al); it_al = iterateur_suivant_ensemble(it_al))
ajouter_epsilon_transition(surmots, etat_init, get_element(it_al));
for (it_al = premier_iterateur_ensemble(automate->finaux); !iterateur_ensemble_est_vide(it_al); it_al = iterateur_suivant_ensemble(it_al))
ajouter_epsilon_transition(surmots, get_element(it_al), etat_act);;
return surmots;
}
int l_ensemble_est_egal( int n, const Ensemble* ens, ... ){
va_list pile;
int res;
int i;
Ensemble * e = creer_ensemble( NULL, NULL, NULL );
va_start(pile,ens);
for (i=0;i<n;i++){
ajouter_element( e, va_arg(pile,int) );
}
res = comparer_ensemble( ens, e );
liberer_ensemble( e );
va_end(pile);
return res == 0;
}
int test_execute_fonctions(){
BEGIN_TEST
int res = 1;
Automate * automate2;
Automate * automate;
Automate * result = NULL;
Ensemble * ens = NULL;
Ensemble * ens1 = NULL;
automate = creer_automate();
result = NULL;
ajouter_lettre( automate, 'a' );
if( result ) liberer_automate( result );
liberer_automate( automate );
automate = creer_automate();
result = NULL;
ajouter_etat_final( automate, 1 );
if( result ) liberer_automate( result );
liberer_automate( automate );
automate = creer_automate();
result = NULL;
ajouter_etat_initial( automate, 1 );
if( result ) liberer_automate( result );
liberer_automate( automate );
automate = creer_automate();
get_initiaux( automate );
liberer_automate( automate );
automate = creer_automate();
get_finaux( automate );
liberer_automate( automate );
automate = creer_automate();
get_alphabet( automate );
liberer_automate( automate );
automate = creer_automate();
result = NULL;
est_un_etat_initial_de_l_automate( automate, 1 );
if( result ) liberer_automate( result );
liberer_automate( automate );
automate = creer_automate();
result = NULL;
est_un_etat_final_de_l_automate( automate, 1 );
if( result ) liberer_automate( result );
liberer_automate( automate );
automate = creer_automate();
result = NULL;
est_une_lettre_de_l_automate( automate, 'a' );
if( result ) liberer_automate( result );
liberer_automate( automate );
automate = creer_automate();
ens = NULL;
ens1 = creer_ensemble( NULL, NULL, NULL );
ens = delta_star( automate, ens1, "aba" );
if( ens ) liberer_ensemble( ens );
liberer_ensemble( ens1 );
liberer_automate( automate );
automate = creer_automate();
result = NULL;
le_mot_est_reconnu( automate, "abaa" );
if( result ) liberer_automate( result );
liberer_automate( automate );
automate = creer_automate();
result = NULL;
result = mot_to_automate( "abbaa" );
if( result ) liberer_automate( result );
liberer_automate( automate );
automate = creer_automate();
ens = NULL;
ens = etats_accessibles( automate, 0 );
if( ens ) liberer_ensemble( ens );
liberer_automate( automate );
automate = creer_automate();
result = NULL;
result = automate_accessible( automate );
if( result ) liberer_automate( result );
liberer_automate( automate );
automate = creer_automate();
result = NULL;
result = miroir( automate );
if( result ) liberer_automate( result );
liberer_automate( automate );
automate = creer_automate();
result = NULL;
result = automate_co_accessible(automate );
if( result ) liberer_automate( result );
liberer_automate( automate );
automate = creer_automate();
result = NULL;
result = creer_automate_des_prefixes( automate );
if( result ) liberer_automate( result );
liberer_automate( automate );
automate = creer_automate();
result = NULL;
result = creer_automate_des_suffixes( automate );
if( result ) liberer_automate( result );
liberer_automate( automate );
automate = creer_automate();
result = NULL;
result = creer_automate_des_facteurs( automate );
if( result ) liberer_automate( result );
liberer_automate( automate );
automate = creer_automate();
result = NULL;
ens = creer_ensemble( NULL, NULL, NULL );
result = creer_automate_des_sur_mot(
automate, ens
);
if( result ) liberer_automate( result );
liberer_automate( automate );
liberer_ensemble( ens );
automate = creer_automate();
automate2 = creer_automate();
result = NULL;
result = creer_automate_de_concatenation( automate, automate2 );
if( result ) liberer_automate( result );
liberer_automate( automate );
liberer_automate( automate2 );
automate = creer_automate();
result = NULL;
result = creer_automate_des_sous_mots( automate );
if( result ) liberer_automate( result );
liberer_automate( automate );
return res;
}
int test_delta_delta_star(){
BEGIN_TEST;
int result = 1;
Automate* automate = creer_automate();
ajouter_etat( automate, 3 );
ajouter_etat( automate, 5 );
ajouter_transition( automate, 3, 'a', 5 );
ajouter_transition( automate, 5, 'b', 3 );
ajouter_transition( automate, 5, 'a', 5 );
ajouter_transition( automate, 5, 'c', 6 );
ajouter_etat_initial( automate, 3 );
ajouter_etat_final( automate, 6 );
TEST(
1
&& est_un_etat_de_l_automate( automate, 3 )
&& est_un_etat_de_l_automate( automate, 5 )
&& est_un_etat_de_l_automate( automate, 6 )
&& est_un_etat_initial_de_l_automate( automate, 3 )
&& ! est_un_etat_initial_de_l_automate( automate, 5 )
&& ! est_un_etat_initial_de_l_automate( automate, 6 )
&& ! est_un_etat_final_de_l_automate( automate, 3 )
&& ! est_un_etat_final_de_l_automate( automate, 5 )
&& est_un_etat_final_de_l_automate( automate, 6 )
&& est_une_lettre_de_l_automate( automate, 'a' )
&& est_une_lettre_de_l_automate( automate, 'b' )
&& est_une_lettre_de_l_automate( automate, 'c' )
&& ! est_une_lettre_de_l_automate( automate, 'd' )
&& est_une_transition_de_l_automate( automate, 3, 'a', 5 )
&& est_une_transition_de_l_automate( automate, 5, 'b', 3 )
&& est_une_transition_de_l_automate( automate, 5, 'a', 5 )
&& est_une_transition_de_l_automate( automate, 5, 'c', 6 )
&& ! est_une_transition_de_l_automate( automate, 3, 'b', 5 )
&& ! est_une_transition_de_l_automate( automate, 1, 'b', 5 )
&& ! est_une_transition_de_l_automate( automate, 3, 'a', 1 )
, result
);
Ensemble * etat_courant = creer_ensemble( NULL, NULL, NULL );
ajouter_element( etat_courant, 3 );
deplacer_ensemble( etat_courant, delta( automate, etat_courant, 'a' ) );
TEST(
1
&& est_dans_l_ensemble( etat_courant, 5 )
&& taille_ensemble( etat_courant ) ==1
, result
);
deplacer_ensemble(
etat_courant, delta_star( automate, etat_courant, "ab" )
);
TEST(
1
&& est_dans_l_ensemble( etat_courant, 3 )
&& taille_ensemble( etat_courant ) ==1
, result
);
deplacer_ensemble(
etat_courant, delta_star( automate, etat_courant, "ac" )
);
TEST(
1
&& est_dans_l_ensemble( etat_courant, 6 )
&& taille_ensemble( etat_courant ) ==1
, result
);
deplacer_ensemble(
etat_courant, delta_star( automate, etat_courant, "" )
);
TEST(
1
&& est_dans_l_ensemble( etat_courant, 6 )
&& taille_ensemble( etat_courant ) ==1
, result
);
deplacer_ensemble(
etat_courant, delta_star( automate, etat_courant, "c" )
);
TEST(
1
&& taille_ensemble( etat_courant ) == 0
, result
);
liberer_ensemble( etat_courant );
liberer_automate( automate );
return result;
}
