Update 4_tp4.mdx

docs/tp/4_tp4/4_tp4.mdx

@@ -15,7 +15,8 @@ On note $V =\{X_0, X_1, \ldots, X_{n-1}\}$ les variables.
 
 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\}$, si $X_k \Rightarrow^* u_i \ldots u_j$.
+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\}$, si $X_k \Rightarrow^* u_i \ldots u_j$.  
+On définit :
 
 $$
 \begin{align*}