From: Jean-François Couchot Date: Wed, 15 Jul 2015 13:16:48 +0000 (+0200) Subject: rairo X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/commitdiff_plain/51315acd03b2bb68b1532d2d4143d2883a39083d rairo --- diff --git a/main.pdf b/main.pdf index f9c13dc..beec3b2 100644 Binary files a/main.pdf and b/main.pdf differ diff --git a/sdd.tex b/sdd.tex index 2352fad..83bee06 100644 --- a/sdd.tex +++ b/sdd.tex @@ -194,8 +194,10 @@ sont les éléments de $\Bool^{\mathsf{N}}$ (voir \textsc{Figure}~\ref{fig:xpl:g est le graphe orienté de $\Bool^{\mathsf{N}}$ qui contient un arc $x \rightarrow y$ si et seulement si $y=f(x)$. \item Le \emph{graphe des itérations unaires} de $f$, noté $\textsc{giu}(f)$ -est le graphe orienté de $\Bool^{\mathsf{N}}$ qui contient un arc $x \rightarrow y$ si -et seulement s'il existe $x \in \Delta f(x)$ tel que $y = \overline{x}^i$. +est le graphe orienté de $\Bool^{\mathsf{N}}$ qui contient un arc $x \rightarrow y$ pour $x \neq$ si +et seulement s'il existe $i \in \Delta f(x)$ tel que $y = \overline{x}^i$. +Si $\Delta f(x)$ est vide, on ajoute l'arc $x \rightarrow x$. + \item Le \emph{graphe des itérations généralisées} de $f$, noté $\textsc{gig}(f)$ est le graphe orienté de $\Bool^{\mathsf{N}}$ qui contient un arc $x \rightarrow y$ si et seulement s'il existe un ensemble $I\subseteq \Delta f(x)$ tel que