hoi

[mc1516the.git] / img / 1c.dot

diff --git a/img/1c.dot b/img/1c.dot
new file mode 100644 (file)
index 0000000..772954f
--- /dev/null
+++ b/img/1c.dot
@@ -0,0 +1,18 @@
+digraph {
+       rankdir=LR;
+       s0a [label="s0a: {x=0,y=0}"]
+       s1a [label="s1a: {x=0,y=0}"]
+       s2 [label="s2: {0<=x=1,y=0}"]
+       s3 [label="s3: {0<=x=0,y=0}"]
+
+       s0b [label="s0b: {0<=x<1,0<=y<2}"]
+       s1b [label="s1b: {x=0,0<=y<2}"]
+
+       s0a -> s1a
+       s1a -> s2
+       s2 -> s3
+
+       s3 -> s0b
+       s0b -> s1b
+       s1b -> s3
+}