1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
|
%%
\pgfsetcolor{black}
% Edge: begin -> q1
\draw [->] (3.7512bp,22.0bp) .. controls (7.1149bp,22.0bp) and (18.875bp,22.0bp) .. (40.575bp,22.0bp);
% Edge: q1 -> q2
\draw [->] (76.821bp,22.0bp) .. controls (96.984bp,22.0bp) and (130.64bp,22.0bp) .. (164.47bp,22.0bp);
\definecolor{strokecol}{rgb}{0.0,0.0,0.0};
\pgfsetstrokecolor{strokecol}
\draw (120.6bp,29.5bp) node {$\epsilon, \epsilon \to \$$};
% Edge: q2 -> q2
\draw [->] (172.45bp,37.167bp) .. controls (169.37bp,47.664bp) and (172.76bp,58.0bp) .. (182.6bp,58.0bp) .. controls (189.06bp,58.0bp) and (192.74bp,53.549bp) .. (192.75bp,37.167bp);
\draw (182.6bp,65.5bp) node {$\begin{matrix}0, \epsilon \to 0\\1, \epsilon \to 1\\\ \end{matrix}$};
% Edge: q2 -> q3
\draw [->] (200.79bp,22.0bp) .. controls (220.49bp,22.0bp) and (253.02bp,22.0bp) .. (286.44bp,22.0bp);
\draw (243.6bp,29.5bp) node {$c, \epsilon \to \epsilon$};
% Edge: q3 -> q3
\draw [->] (294.45bp,37.167bp) .. controls (291.37bp,47.664bp) and (294.76bp,58.0bp) .. (304.6bp,58.0bp) .. controls (311.06bp,58.0bp) and (314.74bp,53.549bp) .. (314.75bp,37.167bp);
\draw (304.6bp,65.5bp) node {$\begin{matrix}0, 0 \to \epsilon\\1, 1 \to \epsilon\\\ \end{matrix}$};
% Edge: q3 -> q4
\draw [->] (322.86bp,22.0bp) .. controls (342.7bp,22.0bp) and (375.68bp,22.0bp) .. (410.35bp,22.0bp);
\draw (366.6bp,29.5bp) node {$\epsilon, \$ \to \epsilon$};
% Node: begin
\begin{scope}
\definecolor{strokecol}{rgb}{0.0,0.0,0.0};
\pgfsetstrokecolor{strokecol}
\definecolor{fillcol}{rgb}{0.0,0.0,0.0};
\pgfsetfillcolor{fillcol}
\filldraw [opacity=1] (1.8bp,22.0bp) ellipse (1.8bp and 1.8bp);
\end{scope}
% Node: q1
\begin{scope}
\definecolor{strokecol}{rgb}{0.0,0.0,0.0};
\pgfsetstrokecolor{strokecol}
\draw (58.6bp,22.0bp) ellipse (18.0bp and 18.0bp);
\end{scope}
% Node: q2
\begin{scope}
\definecolor{strokecol}{rgb}{0.0,0.0,0.0};
\pgfsetstrokecolor{strokecol}
\draw (182.6bp,22.0bp) ellipse (18.0bp and 18.0bp);
\end{scope}
% Node: q3
\begin{scope}
\definecolor{strokecol}{rgb}{0.0,0.0,0.0};
\pgfsetstrokecolor{strokecol}
\draw (304.6bp,22.0bp) ellipse (18.0bp and 18.0bp);
\end{scope}
% Node: q4
\begin{scope}
\definecolor{strokecol}{rgb}{0.0,0.0,0.0};
\pgfsetstrokecolor{strokecol}
\draw (432.6bp,22.0bp) ellipse (18.0bp and 18.0bp);
\draw (432.6bp,22.0bp) ellipse (22.0bp and 22.0bp);
\end{scope}
%
|
