Identification des langages rationnels à résiduels k-disjoints

Résumé : Nous définissons les familles de langages rationnels à résiduels k-disjoints et nous présentons les possibilités d'identification de ces familles. Chaque famille de langages rationnels à résiduels k-disjoints contient la famille correspondante de langages k-réversibles. L'union des familles, pour k entier naturel, couvre tous les langages rationnels. Nous montrons que chacune de ces familles est identifiable à la limite, en temps et données polynômiaux à partir d'exemples positifs, en les représentant par des AFD.