\Draw
\PdaDiagrams
\StateSpec(+,106,,+,103,)
\Diagram
(
0,$q_0$,0,0
& 1,$q_1$,50,-70
& 2,$q_2$,0,-140
& 3,$q_3$,-50,-70
& 11,$p_1$,140,-80
& 12,$p_2$,200,-210
& 13,$p_3$,300,-120
)(
10,$p_0$,200,10
)(
0,1, {1, $\epsilon$/1} , {0, $\epsilon$/0}
& 1,2, {1, $\epsilon$/1} ,
& 2,3, {1, $\epsilon$/1} ,
& 2,0, {0, $\epsilon$/0},
& 3,0, {0, $\epsilon$/0 ,
1, $\epsilon$/1} ,
%
& 10,11, {1, $\epsilon$/1} , {0, $\epsilon$/0}
& 11,12, {1, $\epsilon$/1} ,
& 12,13, {1, $\epsilon$/1} ,
& 12,10, {0, $\epsilon$/0},
& 13,10, {0, $\epsilon$/0 ,
1, $\epsilon$/1} ,
%
& 0,0,90, {0, $\epsilon$/0}
& 1,1,70, {0, $\epsilon$/0}
& 2,2,-90, {0, $\epsilon$/0}
& 3,3,180, {0, $\epsilon$/0}
%
& 10,10,90, {0, $\epsilon$/0}
& 11,11,220, {0, $\epsilon$/0}
& 12,12,-90, {0, $\epsilon$/0}
& 13,13,0, {0, $\epsilon$/0}
%
& 0,10, {0, $\epsilon$/$\epsilon$ ,
1, $\epsilon$/$\epsilon$ ,
$\epsilon$, $\epsilon$/$\epsilon$} ,
& 1,10, {0, $\epsilon$/0},
& 1,12, {1, $\epsilon$/0},
& 1,11, {0, $\epsilon$/$\epsilon$ ,
$\epsilon$, $\epsilon$/$\epsilon$} ,
& 2,12, {0, $\epsilon$/$\epsilon$ ,
$\epsilon$, $\epsilon$/$\epsilon$} ,
)
\EdgeSpec(LCS)
\Edge(3,10 & -80,-30 & -80,70 & 50,70)
\EdgeLabel(--1,$\epsilon$/$\epsilon$--)
\Edge(3,13 & -50,-270 & 300,-270)
\EdgeLabel[+](--1,$\epsilon$/$\epsilon$--)
\EndDraw