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->#",texlbl="$0, \epsilon \to \#$"]
q2 -> q3[label="c, e->e",texlbl="$c, \epsilon \to \epsilon$"]
q3 -> q3[label="1, #->e",texlbl="$1, \# \to \epsilon$"]
q3 -> q4[label="e, $->e",texlbl="$\epsilon, \$ \to \epsilon$"]
}
|
