[LO5] 16.3. Exemple de modélisation : apprentissage d'automates séparateurs ; énoncé du problème
Channel: Sylvain Schmitz
Date: 30/11/2020

Énoncé d'un problème d'apprentissage automatique supervisé que l'on va modéliser comme un problème de satisfiabilité modulo théorie : l'apprentissage d'automates séparateurs. L'entrée du problème consiste en deux ensembles finis de mots I et E, et le résultat recherché est un automate fini déterministe complet 𝒜 qui accepte tous les mots de I et rejette tous les mots de E.