\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~: première occurence $\rightarrow$ 1, autres $\rightarrow$ d}{1}(10,5)

\etat[i]{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/d}
\boucle[r]{b}{b/d}
\boucle[l]{c}{c/d}

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

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

\trans{o}{a}{a/1}
\trans{o}{b}{b/1}
\trans{o}{c}{c/1}

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

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

\end{automate}

\end{document}
