X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/blobdiff_plain/d69000ebda300fc836232f34cebb88ddfce4ac98..749714e242c186d9017fa85964d6c67edf1bf4d1:/12TIPE.tex diff --git a/12TIPE.tex b/12TIPE.tex index afd6077..7c04d49 100644 --- a/12TIPE.tex +++ b/12TIPE.tex @@ -14,9 +14,11 @@ Pour une stratégie $s = \left(s_t\right)_{t \in \mathds{N}}$ de $[\mathsf{N}]$), on peut définir la fonction $F_{f_u}: \Bool^{\mathsf{N}} \times [\mathsf{N}]$ vers $\Bool^\mathsf{N}$ par -\[ + +\begin{equation} F_{f_u}(x,i)=(x_1,\dots,x_{i-1},f_i(x),x_{i+1},\dots,x_\mathsf{N}). -\] +\label{eq:iterations:unaires} +\end{equation} Dans le schéma des itérations unaires pour une configuration initiale $x^0\in\Bool^\mathsf{N}$ et une stratégie $s\in