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

\begin{document}
\pagestyle{empty}

\begin{automate}[d]{0}{0}{Automate déterministe reconnaissant $c\ (a + d)^*\ a\ b^+\ (aa + ba)^*\ m$}{1}(15,5)

\etat[i]{50}{50}{0}{a}
\etat{100}{50}{1}{b}
\etat{150}{50}{12}{c}
\etat{200}{50}{3}{d}
\etat{200}{100}{34}{db}
\etat{250}{50}{4}{e}
\etat{250}{100}{45}{eb}
\etat{300}{50}{5}{f}
\etat[a]{350}{50}{6}{g}

\boucle[t]{b}{d}
\boucle[t]{c}{a}
\boucle[l]{db}{b}
\boucle[t]{eb}{a}

\trans{a}{b}{c}
\trans[ar]{b}{c}{a}{d}
\trans{c}{d}{b}
\trans{d}{e}{a}
\trans{d}{db}{b}
\trans{db}{eb}{a}
\trans{eb}{e}{b}
\trans[ar]{e}{f}{a}{a\\b}

\trans{d}{g}{m}(0,-40)
\trans{db}{g}{m}(0,30)
\trans{eb}{g}{m}
\trans{f}{g}{m}

\end{automate}

\end{document}
