diff --git a/manuscrit/40_A72-frontend/30_manual_frontend.tex b/manuscrit/40_A72-frontend/30_manual_frontend.tex index f2dcd3a..a2c3ee0 100644 --- a/manuscrit/40_A72-frontend/30_manual_frontend.tex +++ b/manuscrit/40_A72-frontend/30_manual_frontend.tex @@ -314,19 +314,19 @@ value: \end{tikzpicture} \end{center} -When repeatedly applied starting from $0$, the \texttt{next\_state} function -will yield the sequence $0, 1, 2, 1, 2, 1, 2, \ldots$. The first iteration -brings us to state $1$, which belongs to the steady-state; starting from there, -the next iterations will loop through the steady-state. - \begin{wrapfigure}{R}{0.2\linewidth} \centering - \vspace{-2em} + %\vspace{-2em} \includegraphics[width=3cm]{timeline_front_nocross_addv_2add.svg} \caption{No-cross frontend for $\texttt{ADDV} + 2\times\basic{Int01}$}\label{fig:frontend_nocross_addv_2add} \end{wrapfigure} +When repeatedly applied starting from $0$, the \texttt{next\_state} function +will yield the sequence $0, 1, 2, 1, 2, 1, 2, \ldots$. The first iteration +brings us to state $1$, which belongs to the steady-state; starting from there, +the next iterations will loop through the steady-state. + In the general case, the model iterates the \texttt{next\_state} function starting from state $0$ until a previously-encountered state is reached ---~this requires at most three iterations. At this point, steady-state is