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$"]
}