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

\begin{document}
\pagestyle{empty}

\begin{huge}

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

\etat[i]{50}{100}{}{a}
\etat{100}{100}{}{b}
\etat{150}{50}{}{c}
\etat{150}{150}{}{d}
\etat{200}{50}{}{e}
\etat{200}{150}{}{f}
\etat{250}{50}{}{g}
\etat{250}{150}{}{h}
\etat{300}{50}{}{i}
\etat{400}{150}{}{j}
\etat{350}{50}{}{k}
\etat{400}{50}{}{l}
\etat{450}{100}{}{m}
\etat{500}{100}{}{n}
\etat{550}{100}{}{o}
\etat{600}{100}{}{p}
\etat{650}{100}{}{q}
\etat{700}{100}{}{r}
\etat{750}{100}{}{s}
\etat[a]{800}{100}{}{t}

\trans{a}{b}{$\epsilon$}
\trans{a}{n}{$\epsilon$}(0,80)
\trans[d]{b}{c}{$\epsilon$}
\trans[d]{b}{d}{$\epsilon$}
\trans{c}{e}{a}
\trans{d}{f}{a}
\trans{e}{g}{$\epsilon$}
\trans{f}{h}{$\epsilon$}
\trans{g}{i}{a}
\trans{h}{j}{b}
\trans{i}{k}{$\epsilon$}
\trans{k}{l}{b}
\trans[d]{l}{m}{$\epsilon$}
\trans[d]{j}{m}{$\epsilon$}
\trans{m}{n}{$\epsilon$}
\trans{m}{b}{$\epsilon$}(0,-80)
\trans{n}{o}{$\epsilon$}
\trans{o}{p}{$\epsilon$}
\trans{o}{t}{$\epsilon$}(0,30)
\trans{p}{q}{a}
\trans{q}{r}{$\epsilon$}
\trans{r}{s}{b}
\trans{s}{t}{$\epsilon$}
\trans{s}{p}{$\epsilon$}(0,-30)

\end{automate}

\end{huge}

\end{document}
