WINAK

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}