\begin{figure}[H] \begin{center} \unitlength=4pt \begin{picture}(40, 15)(0,-6) \gasset{Nw=5,Nh=5,Nmr=2.5,curvedepth=0} \thinlines \node[Nmarks=i,iangle=270](A1)(0,0){$1,1$} \node[Nmarks=f,fangle=270](A2)(20,0){$2,2$} \node[Nmarks=f,fangle=0](A3)(40,0){$3,3$} \drawloop[loopangle=90](A2){$b$} \drawedge(A1,A2){$a$} \drawedge(A2,A3){$b$} \end{picture} \end{center} \caption{Un automate émondé reconnaissant $L\cap L'$.} \end{figure} |