Inférence d'automates classifieurs par fusions d'état
Résumé
Nous introduisons dans ce rapport le problème de l'inférence C-régulière qui consiste à apprendre un ensemble de C langages réguliers à partir d'exemples de chacun des langages. Nous proposons une représentation implicite de l'espace de recherche pour les algorithmes par fusion d'état permettant l'étude directe des interactions entre langages et, notamment, une caractérisation par contraintes des automates classifieurs déterministes et univoques. Cette caractérisation est utilisée pour proposer un nouveau schéma d'algorithme par fusion considérant non seulement les fusions possibles mais également les fusions impossibles.