\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~: suffixe après une occurence de a,b et c}{1}(10,5)

\etat[i]{0}{100}{}{d}
\etat{50}{100}{}{o}
\etat{50}{50}{}{a}
\etat{100}{100}{}{b}
\etat{50}{150}{}{c}
\etat{100}{50}{}{ab}
\etat{250}{100}{}{ac}
\etat{100}{150}{}{bc}
\etat[a]{200}{100}{}{abc}

\boucle[l]{a}{a/$\epsilon$}
\boucle[r]{b}{b/$\epsilon$}
\boucle[l]{c}{c/$\epsilon$}

\boucle[b]{ab}{a/$\epsilon$\\b/$\epsilon$}
\boucle[r]{ac}{a/$\epsilon$\\c/$\epsilon$}
\boucle[t]{bc}{b/$\epsilon$\\c/$\epsilon$}

\boucle[l]{abc}{a/a\\b/b\\c/c}

\trans{d}{o}{d/$\epsilon$}

\trans{o}{a}{a/$\epsilon$}
\trans{o}{b}{b/$\epsilon$}
\trans{o}{c}{c/$\epsilon$}

\trans{a}{ab}{b/$\epsilon$}
\trans[acw]{a}{ac}{c/$\epsilon$}(0,-50)
\trans[d]{b}{ab}{a/$\epsilon$}
\trans[d]{b}{bc}{c/$\epsilon$}
\trans{c}{ac}{a/$\epsilon$}(0,50)
\trans{c}{bc}{b/$\epsilon$}

\trans[acw]{ab}{abc}{c/$\epsilon$}
\trans{ac}{abc}{b/$\epsilon$}
\trans{bc}{abc}{a/$\epsilon$}

\end{automate}

\end{document}
