%author: BB
\documentclass[11pt]{article} 
\input shared.texm 
\startfile
\psset{unit=1}
\begin{pspicture}(-6,-1)(6,1.5)
\def\xa{1}\def\xb{3}
\def\xc{5}
\def\NN#1#2{\cnode[fillstyle=solid,fillcolor=lightgray](#1,0){0.4}{q#2}\rput(#1,0){$q_{#2}$}}
\NN{-\xc}{0}
\NN{-\xb}{1}
\NN{-\xa}{2}
\NN{\xa}{3}
\NN{\xb}{4}
\NN{\xc}{5}
\psset{arrows=->}
\ncline{q0}{q1}\aput{0.5}{a}
\ncline{q1}{q2}\aput{0.5}{a}
\ncline{q2}{q3}\aput{0.5}{a}
\ncline{q3}{q4}\aput{0.5}{a}
\ncline{q4}{q5}\aput{0.5}{a}
\pscircle(\xc,0){0.5}
\pscircle(\xa,0){0.5}
\pscircle(-\xb,0){0.5}
\nccircle[arcangleA=30,arcangleB=120]{q0}{0.5}\bput{0.5}{$b$}
\psset{linestyle=dashed}
\ncarc[arcangleA=45,arcangleB=45]{q5}{q4}\aput{0.5}{$\varepsilon$}
\ncarc[arcangleA=45,arcangleB=45]{q4}{q3}\aput{0.5}{$\varepsilon$}
\ncarc[arcangleA=45,arcangleB=45]{q3}{q2}\aput{0.5}{$\varepsilon$}
\ncarc[arcangleA=45,arcangleB=45]{q2}{q1}\aput{0.5}{$\varepsilon$}
\ncarc[arcangleA=45,arcangleB=45]{q1}{q0}\aput{0.5}{$\varepsilon$}
\psset{linestyle=dotted}
\ncarc[arcangleA=-90,arcangleB=-60]{q5}{q3}
\ncarc[arcangleA=-90,arcangleB=-60]{q4}{q3}
\ncarc[arcangleA=-90,arcangleB=-60]{q3}{q1}
\ncarc[arcangleA=-90,arcangleB=-60]{q2}{q1}
\end{pspicture}\endfile
