\begin{figure}[H] \begin{center} \unitlength=4pt \begin{picture}(75, 29)(0,-19) \gasset{Nw=5,Nh=5,Nmr=2.5,curvedepth=0} \thinlines \node[Nmarks=i,iangle=180](A0)(0,0){$1$} \node[Nmarks=f,fangle=0](Aa)(15,10){$1$} \node(Ab)(15,-10){$5$} \node(Aba)(30,0){$4$} \node(Abaa)(45,10){$3$} \node(Abaab)(60,0){$2$} \node[Nmarks=f,fangle=0](Abaaba)(75,10){$1$} \node(Abb)(30,-20){$2$} \node[Nmarks=f,fangle=0](Abba)(45,-10){$1$} \drawedge(A0,Aa){$a$} \drawedge[ELside=r](A0,Ab){$b$} \drawedge(Ab,Aba){$a$} \drawedge(Aba,Abaa){$a$} \drawedge(Abaa,Abaab){$b$} \drawedge(Abaab,Abaaba){$a$} \drawedge[ELside=r](Ab,Abb){$b$} \drawedge[ELside=r](Abb,Abba){$a$} \end{picture} \end{center} \caption{L'automate minimal de $\{a,bba,baaba\}^*$.} \end{figure} |