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

\begin{document}
\pagestyle{empty}

\begin{automate}[d]{0}{0}{Multiplication par 2}{1}(10,5)

\etat[i]{50}{50}{}{a}
\etat{150}{50}{}{b}
\etat{250}{50}{}{c}
\etat[a]{350}{50}{}{d}

\boucle[t]{c}{0/0\\1/1}

\trans{a}{b}{0/0}
\trans{a}{c}{1/01}(0,-30)
\trans{b}{c}{0/00\\1/01}
\trans{b}{d}{2/2}(0,60)
\trans{c}{d}{2/2}

\end{automate}

\end{document}
