X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/blobdiff_plain/3759a997c005ffb313be135f98820410cb6061b4..44a56c5eb4a1dfdf7dc67735c5c00f478cef2ede:/15TSI.tex

diff --git a/15TSI.tex b/15TSI.tex
index 670df80..d9886c8 100644
--- a/15TSI.tex
+++ b/15TSI.tex
@@ -9,7 +9,7 @@ Dans le schÃ©ma gÃ©nÃ©ralisÃ©, Ã  la  $t^{\textrm{Ã¨me}}$ itÃ©ration,
 c'est l'ensemble 
 des $s_{t}^{\textrm{Ã¨me}}$ Ã©lÃ©ments (inclus dans $[{\mathsf{N}}]$) qui 
 sont  mis Ã  jour (cf. Ã©quation~(\ref{eq:schema:generalise})).
-On redÃ©finit la fonction la fonction
+On redÃ©finit la fonction 
   $F_{f_g}:  \Bool^{\mathsf{N}} \times \mathcal{P}(\{1, \ldots, \mathsf{N}\}) 
   \rightarrow \Bool^{\mathsf{N}}$  par
   \[
@@ -32,7 +32,7 @@ configurations $x^t$ sont dÃ©finies par la rÃ©currence
   Soit alors $G_{f_g}$ une fonction de $\Bool^{\mathsf{N}}  \times  \mathcal{P}(\{1, \ldots, {\mathsf{N}}\})^{\Nats}$ 
   dans lui-mÃªme dÃ©finie par 
   \[
-  G_{f_g}(S,x)=(\sigma(S),F_{f_g}(s_0,x)),
+  G_{f_g}(x,S)=(F_{f_g}(x,s_0),\sigma(S)),
   \] 
   oÃ¹ la fonction $\sigma$ est dÃ©finie comme Ã  la section prÃ©cÃ©dente.
   A nouveau, les itÃ©rations gÃ©nÃ©ralisÃ©es 
