Code: Select all
\unitlength=1cm
\begin{picture}(10,9)(0,0)
%\put(0,0){\framebox(10,9)}
\node[Nmarks=i,Nadjust=wh](start)(2,4){start}
\node[Nadjust=wh](search)(5,6){search}
\node[Nadjust=wh](check)(8,4){check}
\node[Nadjust=wh](reset)(7,2){reset}
\node[Nmarks=r,Nadjust=wh](eind)(2,1){eind}
\drawedge[ELside=l,ELpos=40](start,search){$
\begin{array}{l}
(B)0/(0)B\RIGHT\\
(B)1/(1)B\RIGHT
\end{array}$}
\drawedge[ELside=l,ELpos=80](start,eind){$
(B)B/(B)B\RIGHT
$}
\drawedge[ELside=l,ELpos=60](search,check){$
\begin{array}{l}
(0)B/(0)B\LEFT\\
(1)B/(1)B\LEFT
\end{array}$}
\drawloop[loopangle=90](search){$
\begin{array}{l}
(0)0/(0)0\RIGHT\\
(0)1/(0)1\RIGHT\\
(1)0/(1)0\RIGHT\\
(1)1/(1)1\RIGHT
\end{array}$}
\drawedge[ELside=l,ELpos=40](check,reset){$
\begin{array}{l}
(0)0/(B)B\LEFT\\
(1)1/(B)B\LEFT
\end{array}$}
\drawedge[ELside=r,ELpos=40](reset,start){$
(B)B/(B)B\RIGHT
$}
\drawloop[loopangle=270](reset){$
\begin{array}{l}
(B)0/(B)0\LEFT\\
(B)1/(B)1\LEFT
\end{array}$}
\end{picture}