\documentclass{article}
\usepackage[usenames]{color}
\usepackage{gastex}

\begin{document}

% Compatibility with gastex 1.0

\begin{center}\compatiblegastexun
\begin{picture}(80,55)(-20,-15)
\thinlines
\put(-20,-15){\framebox(80,55){}}

\letstate A=(0,0)   \drawinitialstate(A){1}\drawfinalstate[b](A){}
\letstate B=(20,0)  \drawrepeatedstate(B){2}
\letstate C=(40,0)  \drawfinalstate(C){3}
\letstate D=(0,20)  \drawrepeatedstate(D){4}
\letstate E=(20,18) \drawstate(E){5}
\letstate[8,6] F=(40,20) \drawrepeatedstate(F){6}

\drawloop[b](B){$A,a,\alpha$}    \drawloop[l](D){$A,\varepsilon$}
{ \setpsdash(1) \drawloop(E){$B,b,\beta$} }
\drawloop[r](F){$B,\varepsilon$}

\drawtrans[r](A,B){$D,d,\delta$} \drawtrans[r](B,C){$D,\varepsilon$}
{ \settransdecal{1}
  \drawtrans(C,F){$F,f,\varphi$} \drawtrans(F,C){$G,g,\gamma$} }
\drawtrans(B,E){$\varepsilon$}   \drawtrans(E,F){$E,\varepsilon$}
{ \setprofcurve{0} \drawcurvedtrans[r](E,D){$F,\varepsilon$} }

\drawcurvedtrans(A,D){$C,c,\gamma$}
{ \setpsdash(3) \drawcurvedtrans(D,A){$C,\varepsilon$} }
{ \setprofcurve{-15} \drawcurvedtrans[r](F,D){$G_1,g_1,\gamma_1$} }
\end{picture}
\end{center}

\end{document}