Ce travail propose un générateur d'automate transducteur satisfaisant certaines propriétés. Le générateur prend en entrée le nombre d'états, la densité, le nombre d'états initiaux et finaux, ainsi que les différentes propriétés à satisfaire et génère un transducteur satisfaisant ces propriétés.
cd vcsn-2.6/
cd Generateur/
Le dossier generateurNotStop/ contient les générateurs qui ne s'arrêtent que lorsqu'ils ont généré un transducteur respectant les différents et ayant autant d'états utiles que passé en paramètres.
Le dossier generateurstop/ contient le générateur qui s'arrête après avoir généré un transducteur respectant les différentes propriétés.
vcsn compile nomDuFichier.cpp
./nomDuFichier nbEtatsTotaux Densité nbEtatsFinaux nbEtatsFinaux > nomDuFichierPourSauvegarderLeResultat.dot
vcsn compile branchingGenerator.cpp
./branchingGenerator 5 1 1 1 > exemple.dot