diff options
Diffstat (limited to 'mc/n2.1.dot')
| -rw-r--r-- | mc/n2.1.dot | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/mc/n2.1.dot b/mc/n2.1.dot new file mode 100644 index 0000000..c7c9b48 --- /dev/null +++ b/mc/n2.1.dot @@ -0,0 +1,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$"] +} |