% Generated by Jastex
\documentclass{article}\usepackage[usenames]{color}% delete this line if
you don't use colors
\usepackage{gastex}
\begin{document}
\begin{picture}(180,116)(0,-116)
\put(0,-116){\framebox(180,116){}}
\node[Nmarks=i](n1)(12.0,-24.0){}
\node(n2)(28.0,-16.0){}
\node(n3)(28.0,-32.0){}
\node(n4)(44.0,-24.0){}
\node(n5)(64.0,-24.0){}
\node(n6)(84.0,-24.0){}
\node(n7)(104.0,-24.0){}
\node(n8)(124.0,-24.0){}
\node(n9)(144.0,-24.0){}
\node(n10)(164.0,-24.0){}
\drawedge[ELdist=3.5](n1,n2){0->$,R}
\drawedge[ELside=r,ELdist=3.5](n1,n3){1->$,R}
\drawedge[ELdist=4.0](n2,n4){_->0,R}
\drawedge[ELside=r,ELdist=4.0](n3,n4){_->1,R}
\drawedge[ELdist=2.0](n4,n5){_->L}
\drawedge[ELdist=2.0](n5,n6){$->R}
\drawedge[ELdist=2.0](n6,n7){1->b,R}
\drawedge[ELdist=2.0](n7,n8){$->R}
\drawedge[ELdist=2.0](n8,n9){0->a,R}
\drawedge[ELdist=2.0](n9,n10){0->a,R}
\drawloop[ELdist=2.0](n2){0->R}
\drawloop[ELdist=2.0,loopangle=-90.0](n3){1->R}
\drawedge[curvedepth=4.89](n3,n2){0->1,R}
\drawedge[curvedepth=3.97](n2,n3){1->0,R}
\drawloop[ELdist=2.0](n5){0,1->L}
\drawloop[ELdist=2.0](n6){0,a,b->R}
\drawloop[ELdist=2.0](n7){0,a,1,b,_->L}
\drawloop[ELdist=2.0](n8){a,1,b->R}
\drawloop[ELdist=2.0](n9){a,1,b->R}
\drawloop[ELdist=2.0](n10){a,1,b->R}
\node(n11)(164.0,-48.0){}
\node(n12)(144.0,-48.0){}
\node(n13)(124.0,-48.0){}
\drawloop[ELdist=2.0,loopdiam=7.82,loopangle=268.73](n11){a,1,b->R}
\drawloop[ELdist=2.0](n12){a,1,b->R}
\drawloop[ELdist=2.0](n13){0,a,1,b,_->L}
\drawedge[ELside=r](n10,n11){0->a,R}
\drawedge[ELside=r,ELdist=2.0](n11,n12){0->a,R}
\drawedge[ELside=r,ELdist=2.0](n12,n13){0->a,R}
\drawedge[ELdist=3.0](n13,n6){$->R}
\node[Nmarks=f](n14)(128.0,-84.0){}
\drawedge(n12,n14){_->L}
\drawedge(n11,n14){_->L}
\drawedge(n10,n14){_->L}
\drawedge(n9,n14){_->L}
\drawedge[ELdist=2.0](n8,n14){_->L}
\node(n15)(68.0,-40.0){}
\node(n16)(68.0,-56.0){}
\node(n17)(80.0,-68.0){}
\node(n18)(64.0,-84.0){}
\node(n19)(96.0,-84.0){}
\node[Nmarks=r](n20)(80.0,-104.0){}
\drawedge[ELdist=3.5](n6,n15){_->L}
\drawedge[ELdist=4.0](n15,n16){$->R}
\drawedge[ELside=r,ELdist=2.5](n16,n17){_->L}
\drawedge[ELside=r,ELdist=3.5](n17,n18){a->_,L}
\drawedge[ELdist=3.0](n17,n19){b->_,L}
\drawedge[ELdist=4.0](n19,n20){$->1,R}
\drawedge[ELside=r,ELdist=4.0](n18,n20){$->0,R}
\drawloop[ELdist=2.0,loopdiam=8.52,loopangle=176.5](n15){0,a,1,b->L}
\drawloop[ELdist=2.0,loopdiam=8.17,loopangle=177.56](n16){a,1,b->R}
\drawloop[ELdist=3.0,loopdiam=7.99,loopangle=0.0](n19){b->1,L}
\drawloop[ELdist=3.0,loopdiam=7.99,loopangle=178.75](n18){a->0,L}
\drawedge[ELdist=2.0,curvedepth=3.84](n18,n19){b->0,L}
\drawedge[ELdist=2.0,curvedepth=4.37](n19,n18){a->1,L}
\drawedge[ELdist=2.5](n16,n14){0->R}
\end{picture}
\end{document}