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