\newcommand {\Cartellalatex} {/home/esg/Datenbank/Didattica/Latex}

\input{\Cartellalatex/input.tex}
\setcounter{Contcap}{5} % Invece di 5 il numero del capitolo.
\setcounter{Contprop}{1} % Da cambiare se il capitolo continua.

\begin{document}\Century{1100} % Era \Century{1000}.
\setlength {\parindent} {1em}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\setlength {\parindent} {1em}

\Capitolo {10. Automi quasitemporali}


\NI che in Python possono essere rappresentati da un vettore
associativo $F$ da cui otteniamo l'applicazione nel modo seguente:

\begin{verbatim}
F={0:fun.dad({1:3, 2:3, 3:4, 4:5, 5:6, 6:4, 7:6, 8:4}),
   1:fun.dad({1:3, 2:5, 3:4, 4:2, 5:6, 6:5, 7:7, 8:3}),
   2:fun.dad({1:2, 2:3, 3:4, 4:6, 5:7, 6:4, 7:8, 8:3})}

def f(x,t): return F[t](x)
\end{verbatim}

\NI Se come cascata temporale usiamo il sistema ciclico
\graphicspath{{ps/}}
% \includegraphics{1006.ps},

otteniamo un automa quasitemporale:

\begin{verbatim}
v=fun.dad({0:1, 1:2, 2:0}) fv=cat.qt(f,v)

X=range(1,9); T=range(3); XxT=cat.cart(X,T) for xt in XxT:print
xt,fv(xt)
\end{verbatim}

\NI Se usiamo invece la cascata temporale \graphicspath{{ps/}}
% \includegraphics{1007.ps}
l'automa
quasitemporale diventa connesso:

\begin{verbatim}
v=fun.dad({0:1, 1:2}) fv=cat.qt(f,v)

X=range(1,9); T=range(3); XxT=cat.cart(X,T) for xt in XxT:print
xt,fv(xt)
\end{verbatim}


\end{document}