\begin{figure}[H] \begin{center} \unitlength=4pt \begin{picture}(30, 36)(0,-18) \gasset{Nw=5,Nh=5,Nmr=2.5,curvedepth=0} \thinlines \node[Nmarks=i,iangle=180](A1)(0,0){$1$} \node[Nmarks=f,fangle=0](Aa)(15,10){$a$} \node(Ab)(15,-10){$b$} \node[Nmarks=f,fangle=0](Ac)(30,0){$c$} \drawloop[loopangle=90](Aa){$a$} \drawloop[loopangle=270](Ab){$b$} \drawloop[loopangle=90](Ac){$c$} \drawedge(A1,Aa){$a$} \drawedge[ELside=r](A1,Ab){$b$} \drawedge(Ab,Aa){$a$} \drawedge(Aa,Ac){$c$} \drawedge(Ac,Ab){$b$} \end{picture} \end{center} \caption{L'automate d'un langage local.} \end{figure} |