Update 4_tp4.mdx

docs/tp/4_tp4/4_tp4.mdx

@@ -9,13 +9,13 @@ L'algorithme CYK permet de déterminer, par programmation dynamique, si un mot e
 Il permet aussi de trouver un arbre de dérivation pour ce mot, par analyse syntaxique ascendante (bottom-up : des feuilles à la racine).
 
 L'algorithme prend en entrée une grammaire $G = (\Sigma, V, R, S)$ en forme normale de Chomsky, c'est-à-dire que toutes les productions sont de la forme $X \to YZ$ ou $X \to a$ ou $S \to \epsilon$, où $X, Y, Z \in V$ et $a \in \Sigma$.  
-On note $V =\{X_0, X_1, \ldots, X_{n-1}\}$ les variables, où $S = X_0$.
+On note $V =\{X_0, X_1, \ldots, X_{k-1}\}$ les variables, où $S = X_0$.
 
 ## Équation de récurrence
 
 Cette partie est à faire sur papier.
 
-Soit $u = u_1 \ldots u_n \in \Sigma^*$. On veut savoir si $u \in L(G)$. Pour cela, on va calculer, pour $i \in \{0, \ldots, n\}$, $j \in \{1, \ldots, n\}$ et $k \in \{0, \ldots, n-1\}$ :
+Soit $u = u_0 \ldots u_{n-1} \in \Sigma^*$. On veut savoir si $u \in L(G)$. Pour cela, on va calculer, pour $i \in \{0, \ldots, k - 1\}$, $d \in \{0, \ldots, n - 1\}$ et $i \in \{0, \ldots, k-1\}$ :
 
 $$
 \begin{align*}