\begin{itemize}
\item Une fonction
$
f:\Bool^{\mathsf N}\to\Bool^{\mathsf N}$, $x=(x_1,\dots,x_{\mathsf N})\mapsto (f_1(x),\dots,f_{\mathsf N}(x))
$
\item Un schéma de mise à jour de la suite $(x^{t})^{t
  \in  \Nats}$ des  configurations:
\begin{itemize}
\item \emph{Parallèle synchrone:} 
  $x^{t+1}=f(x^t)$. 
\item \emph{Unaire:}  à partir de la \emph{stratégie unaire}  
  $S = \left(s^t\right)^{t \in  \mathds{N}}$, 
  modification de l'élément $s^t$ de $x^t$ 
  $$  
  \begin{array}{l}   
    x^{t+1}= (x^{t+1}_1,\dots,x^{t+1}_n) \textrm{ où } 
    x^{t+1}_i =  
    \left\{
      \begin{array}{l}
        f_i( x^{t}) \textrm{ si $i = s^t$}  \\
        x^t_i \textrm{ sinon.} 
      \end{array} 
    \right.
  \end{array} 
$$

\item \emph{Généralisé:} à partir de la \emph{stratégie généralisée}
  $\left(s^t\right)^{t \in  \mathds{N}}$, 
  à  chaque  itération $t$, 
  modification des éléments de $x^t$ dans $s^t\subset\{1,\ldots,n\}$ 
  $$  
  \begin{array}{l}   
    x^{t+1}= (x^{t+1}_1,\dots,x^{t+1}_n) \textrm{ où } 
    x^{t+1}_i =  
    \left\{
      \begin{array}{l}
        f_i( x^{t}) \textrm{ si $i \alert{\in} s^t$}  \\
        x^t_i \textrm{ sinon} 
      \end{array} 
    \right.
  \end{array} 
$$  

\end{itemize}
\end{itemize}
