Minimisation de l'automate
À table, Laurent demandait si on avait essayé de minimiser l'automate. Cela pourrait faire gagner de la mémoire (mais est-ce vraiment une limite ?). Tout dépend de la topologie de notre automate...
cc @mikael-s
Si vous êtes un personnel Inria et que vous souhaitez participer aux tests de notre future plateforme Gitlab basée sur la version ultimate avec gitlab LFS activé merci de contacter Didier Chassignol.
À table, Laurent demandait si on avait essayé de minimiser l'automate. Cela pourrait faire gagner de la mémoire (mais est-ce vraiment une limite ?). Tout dépend de la topologie de notre automate...
cc @mikael-s