Informatique Théorique: La théorie des automates

[jankyjack]

Bien le Bonjour

J'aimerais écrire un algorithme qui reçoit deux automates déterministes A et B en paramètre. L'algorithme renvoie Vrai si pour chacun des mots qui sont acceptés par B, il existe au moins une sous chaîne de ce mot qui est accepté par A. Sinon il renvoie Faux. Notez bien qu'ici la seule chose que l'algorithme reçoit en paramètre c'est les automates A et B.

Merci de Vos réponses.

[FLBP]

Salut,
Si j'ai bien compris tu cherches à faire un algorithme qui détermine si :
?
(Je ne suis pas logicien)