1
2
3
4
5
6
7
8
9
10
11
12
|
digraph G {
rankdir=LR
begin[shape=point]
q1, q2, q3[shape=circle, label=""]
q4[shape=doublecircle, label=""]
begin -> q1
q1 -> q2[label="e, e->$",texlbl="$\epsilon, \epsilon \to \$$"]
q2 -> q2[label="0, e->0",texlbl="$\begin{matrix}0, \epsilon \to 0\\1, \epsilon \to 1\\\ \end{matrix}$"]
q2 -> q3[label="c, e->e",texlbl="$c, \epsilon \to \epsilon$"]
q3 -> q3[label="0, 0->x",texlbl="$\begin{matrix}0, 0 \to \epsilon\\1, 1 \to \epsilon\\\ \end{matrix}$"]
q3 -> q4[label="e, $->e",texlbl="$\epsilon, \$ \to \epsilon$"]
}
|
