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

\begin{document}
\pagestyle{empty}

\begin{automate}[d]{0}{0}{Arbre de dérivation}{1}(15,5)

\etat[it]{50}{350}{S}{a}
\etat{175}{300}{}{b}(145,15)
\trans{a}{b}{}

\etat{50}{300}{if}{b}
\etat{100}{300}{E}{b}
\etat{150}{300}{then}{c}
\etat{200}{300}{S}{c}
\etat{250}{300}{else}{d}
\etat{300}{300}{S}{d}

\etat{100}{250}{}{a}(70,15)
\trans{b}{a}{}
\etat{325}{250}{}{a}(145,15)
\trans{c}{a}{}(0,-30)
\etat{550}{250}{}{a}(70,15)
\trans{d}{a}{}(0,-20)

\etat{50}{250}{id}{a}
\etat{100}{250}{==}{a}
\etat{150}{250}{id}{a}

\etat{200}{250}{if}{b}
\etat{250}{250}{E}{b}
\etat{300}{250}{then}{c}
\etat{350}{250}{S}{c}
\etat{400}{250}{else}{d}
\etat{450}{250}{S}{d}

\etat{100}{200}{}{a}(70,15)
\trans{b}{a}{}(0,30)
\etat{250}{200}{}{a}(70,15)
\trans{c}{a}{}(0,20)
\etat{400}{200}{}{a}(70,15)
\trans{d}{a}{}(0,25)

\etat{50}{200}{id}{a}
\etat{100}{200}{==}{a}
\etat{150}{200}{id}{a}

\etat{200}{200}{id}{a}
\etat{250}{200}{==}{a}
\etat{300}{200}{id}{a}

\etat{350}{200}{begin}{a}
\etat{400}{200}{S}{b}
\etat{450}{200}{L}{c}

\etat{250}{150}{}{a}(70,15)
\trans{b}{a}{}(0,30)
\etat{400}{150}{}{a}(70,15)
\trans{c}{a}{}(0,20)

\etat{200}{150}{id}{a}
\etat{250}{150}{==}{a}
\etat{300}{150}{id}{a}

\etat{350}{150}{;}{a}
\etat{400}{150}{S}{b}
\etat{450}{150}{L}{c}

\etat{375}{100}{}{a}(45,15)
\trans{b}{a}{}(0,30)
\etat{450}{100}{end}{a}
\trans{c}{a}{}(0,20)

\etat{350}{100}{print}{a}
\etat{400}{100}{id}{a}

\etat{500}{250}{begin}{a}
\etat{550}{250}{S}{b}
\etat{600}{250}{L}{c}

\etat{550}{200}{}{a}(70,15)
\trans{b}{a}{}(0,30)
\etat{700}{200}{}{a}(70,15)
\trans{c}{a}{}(0,-25)

\etat{500}{200}{id}{a}
\etat{550}{200}{==}{a}
\etat{600}{200}{id}{a}

\etat{650}{200}{;}{a}
\etat{700}{200}{S}{b}
\etat{750}{200}{L}{c}

\etat{550}{150}{}{a}(70,15)
\trans{b}{a}{}(0,30)
\etat{700}{150}{}{a}(70,15)
\trans{c}{a}{}(0,25)

\etat{500}{150}{id}{a}
\etat{550}{150}{==}{a}
\etat{600}{150}{id}{a}

\etat{650}{150}{;}{a}
\etat{700}{150}{S}{b}
\etat{750}{150}{L}{c}

\etat{575}{100}{}{a}(45,15)
\trans{b}{a}{}(0,30)
\etat{700}{100}{}{a}(70,15)
\trans{c}{a}{}(0,25)

\etat{550}{100}{print}{a}
\etat{600}{100}{id}{a}

\etat{650}{100}{;}{a}
\etat{700}{100}{S}{b}
\etat{750}{100}{L}{c}

\etat{675}{50}{}{a}(45,15)
\trans{b}{a}{}(0,30)
\etat{750}{50}{end}{a}
\trans{c}{a}{}(0,20)

\etat{650}{50}{print}{a}
\etat{700}{50}{id}{a}

\end{automate}

\end{document}
