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

\begin{document}
\pagestyle{empty}

\begin{automate}[d]{0}{0}{$(abc)*(ab)*$}{1}(10,5)

% une version non deterministe
\etat[it]{150}{100}{}{a}
\etat{200}{100}{}{b}
\etat{250}{100}{}{c}
\etat[a]{100}{100}{}{d}
\etat{50}{100}{}{e}

\trans{a}{b}{a}
\trans{a}{d}{$\epsilon$}
\trans{b}{c}{b}
\trans{c}{a}{c}(0,-30)
\trans[ar]{d}{e}{a}{b}

% une version deterministe
\etat[a]{350}{100}{}{a}
\etat[it]{350}{100}{}{a}
\etat{400}{100}{}{b}
\etat[a]{450}{100}{}{c}
\etat{500}{100}{}{d}
\etat[a]{550}{100}{}{e}

\trans{a}{b}{a}
\trans{b}{c}{b}
\trans{c}{a}{c}(0,-30)
\trans{c}{d}{a}
\trans[ar]{d}{e}{b}{a}

\end{automate}

\end{document}
