\begin{itemize}
-\item Vers une fonction de
-$\mathcal{X}_g =\Bool^{\mathsf{N}}
+
+\item $\mathcal{X}_g =\Bool^{\mathsf{N}}
\times \left(\mathcal{P}([{\mathsf{N}}]\right)^{\Nats}$
-dans lui même:
+ et $G_{f_g}: \mathcal{X}_g \rightarrow \mathcal{X}_g$ tq.
+ $
+ G_{f_g}(x,s)=(F_{f_g}(x,s_0),\sigma(s)),
+ $:
+
\begin{itemize}
\item $F_{f_g}: \Bool^{\mathsf{N}} \times \mathcal{P}([{\mathsf{N}}])
\rightarrow \Bool^{\mathsf{N}}$ par
$
- F_{f_g}(x,s)_i=\left\{
+ F_{f_g}(x,s_0)_i=\left\{
\begin{array}{l}
- f_i(x) \textrm{ si $i \in s$;}\\
+ f_i(x) \textrm{ si $i \in s_0$;}\\
x_i \textrm{ sinon.}
\end{array}\right.
$
\rightarrow
\mathcal{P}([{\mathsf{N}}])^{\Nats}$
t.q. $\forall t\in\Nats,\sigma(s)_t=s_{t+1}$
-\item $G_{f_g}$ définie par
- $
- G_{f_g}(x,S)=(F_{f_g}(x,s_0),\sigma(S)),
- $
\end{itemize}
