%Laure Gonnord, juillet-août 2003
%Compilation uniquement avec latex, puis dvips
%tous outils/packages libres

\documentclass[a4paper,10pt]{article}
\usepackage[]{amsmath,amsfonts,theorem,amssymb,stmaryrd}
\usepackage[french]{babel}
\usepackage[latin1]{inputenc}

\usepackage{gastex}
\usepackage{url}

\title{Exemple d'article avec Gastex}
\author{Laure Gonnord}
\date{\today}

\begin{document}
\maketitle
Voici un automate tout simple obtenu à l'aide de l'excellent package
gastex, dont l'auteur est Paul Gastin (voir
\url{www.liafa.fr/~gastin})~:


\begin{center}
\begin{picture}(30,25)(0,0)

  \node[Nmarks=i](A)(0,10){$0$}
  \node(B)(30,10){$1$}

  \drawedge[curvedepth=4](A,B){$\neg x/\neg y$}
  \drawedge[curvedepth=4](B,A){$x/y$}

\drawloop(A){$x/\neg y$}
\drawloop(B){$\neg x/\neg y$}

\end{picture}
 \end{center}

\end{document}
%EOF