From 36ba46eccdbe995358d11a0febaed52e6c035b17 Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Wed, 23 Nov 2016 19:05:04 +0100
Subject: NFAs with spontaneous transitions.

---
 figs/example4det.dot | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'figs/example4det.dot')

diff --git a/figs/example4det.dot b/figs/example4det.dot
index 2d88a37..7121690 100644
--- a/figs/example4det.dot
+++ b/figs/example4det.dot
@@ -1,10 +1,10 @@
 digraph example4det {
 	rankdir="LR";
 	node [texmode="math",shape="circle",style="state"];
-	q0 [style="state,initial",label="\{0\}"];
-	q01 [style="state",label="\{0,1\}"];
-	q02 [style="state,final",label="\{0,2\}"];
-	q012 [style="state,final",label="\{0,1,2\}"];
+	q0 [style="state,initial",label="0",texlbl="$\{0\}$"];
+	q01 [style="state",label="01",texlbl="$\{0,1\}$"];
+	q02 [style="state,final",label="02",texlbl="$\{0,2\}$"];
+	q012 [style="state,final",label="012",texlbl="$\{0,1,2\}$"];
 	edge [texmode="math",lblstyle="auto"];
 	q0 -> q0 [label="b",topath="loop above"];
 	q0 -> q01 [label="a"];
-- 
cgit v1.2.3