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

\begin{document}
\pagestyle{empty}

\begin{automate}[d]{0}{0}{au moins une occurence de $a, b, c$}{1}(10,5)

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

\boucle[l]{a}{a}
\boucle[t]{b}{b}
\boucle[l]{c}{c}

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

\boucle[t]{abc}{a\\b\\c}

\trans[d]{o}{a}{a}
\trans{o}{b}{b}
\trans[d]{o}{c}{c}

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

\trans[d]{ab}{abc}{c}
\trans{ac}{abc}{b}
\trans[d]{bc}{abc}{a}

\end{automate}

\end{document}
