\documentclass{book}
\usepackage[french]{babel}
\usepackage{colordvi}
\usepackage{fullpage}
\usepackage{isolatin1}
\usepackage{automata}

\begin{document}
\pagestyle{empty}

\begin{automate}[d]{0}{0}{automate avec sortie pour décoder $\phi$}{1}(10,5)

\etat[i]{50}{150}{}{a}
\etat{100}{150}{}{b}
\etat{150}{150}{}{c}
\etat{200}{150}{}{d}

\etat{50}{50}{}{e}
\etat{100}{50}{}{f}
\etat{150}{50}{}{g}
\etat{200}{50}{}{h}
\etat{250}{50}{}{i}

\etat[a]{100}{100}{}{p}

\trans{a}{b}{1/$\epsilon$}
\trans{b}{c}{1/$\epsilon$}
\trans{c}{d}{1/$\epsilon$}
\trans{d}{a}{0/d}(0,30)

\trans[ar]{a}{e}{0/$\epsilon$}{0/c}
\trans[ar]{e}{f}{1/$\epsilon$}{0/a}
\trans{f}{g}{1/$\epsilon$}
\trans{g}{h}{1/$\epsilon$}
\trans{g}{e}{0/b}(0,-30)
\trans{h}{i}{1/$\epsilon$}
\trans[acw]{i}{d}{1/b}
\trans{i}{a}{0/ad}(0,150)

\trans[d]{a}{p}{m/$\epsilon$}
\trans{f}{p}{m/a}
\trans[acw]{g}{p}{m/b}

\end{automate}

\end{document}
