Groupe de Recherche Rouennais en Informatique Fondamentale

Produits logiciels

• A tree automata and tree rational expressions toolkit, Younes Guellouma, Hadda Cherroun, Djelloul Ziadi.
• Dérivées Bottom-Up d’expressions d’arbres, Ludovic Mignot : https://gr2if.univ-rouen.fr/software/mignot/BottomUpDerivatives/
• Dérivées partielles Bottom-Up d’expressions d’arbres, Ludovic Mignot : https://gr2if.univ-rouen.fr/software/mignot/BottomUpPartialDerivatives/index.html
• Construction d’automates Bottom-Up d’une expression d’arbres, Ludovic Mignot : https://gr2if.univ-rouen.fr/software/mignot/treeAutCompar/
• Fermeture géométrique des langages V 3/2, Ludovic Mignot : https://gr2if.univ-rouen.fr/software/mignot/geomClosure/
• Construction d’automates depuis une expression de mots, Ludovic Mignot : https://gr2if.univ-rouen.fr/software/mignot/WordAutomataConstructions/
• Dérivation d’expressions rationnelles monadiques, Ludovic Mignot : https://gr2if.univ-rouen.fr/software/mignot/monDer/index.html
• Bibliothèque d’implantation des catégories, catégories enrichies en Haskell, Ludovic Mignot (en cours de publication).

• Suivant