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

\begin{document}
\pagestyle{empty}

\begin{automate}[d]{0}{0}{avec $aba$ ou avec $aca$}{1}(10,5)

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

\boucle[t]{a}{b\\c}
\boucle[t]{b}{a}
\boucle[r]{d}{a\\b\\c}

\trans{a}{b}{a}
\trans{b}{c}{b\\c}
\trans{c}{a}{b\\c}(0,-30)

\trans{c}{d}{a}

\end{automate}

\end{document}
