Rédiger proprement l'algorithme CYK
-
Définir proprement la grammaire intersectée -
Prouver la première inclusion proprement -
Prouver la deuxième inclusion proprement -
Rappeler la mise en forme normale de Chomsky -
Rappeler l'algorithme qui teste la vacuité -
Démontrer la correction de CYK avec le théorème