[LO5] 16.3. Exemple de modélisation : apprentissage d'automates séparateurs ; formalisation
Channel: Sylvain Schmitz
Date: 2020-11-30

Étape de formalisation de notre problème d'apprentissage : un automate 𝒜=(Q,Σ,δ,F,q₀) répond au problème s'il existe une fonction f: Pref(I∪E) → Q qui remplit trois conditions : (1) f(ε) = q₀, (2) pour tout wa ∈ Pref(I∪E) avec a ∈ Σ*, δ(f(w),a) = f(wa), et (3) pour tout w ∈ I, f(w) ∈ F et pour tout w ∈ E, f(w) ∉ F.