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

\begin{document}
\pagestyle{empty}

\begin{automate}[d]{0}{0}{0 (resp. 1) par b si précédé de 1 (resp. 0), par a (resp. c) sinon.}{1}(10,5)

\etat[i]{100}{100}{$\epsilon$}{a}
\etat{50}{50}{0}{b}
\etat{150}{50}{1}{c}

\boucle[l]{b}{0/a}
\boucle[r]{c}{1/c}

\trans[d]{a}{b}{0/a}
\trans[d]{a}{c}{1/c}
\trans[ar]{b}{c}{1/b}{0/b}


\end{automate}

\end{document}
