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