From 56f5296893cb375c49ea716dbed8b15c280b49de Mon Sep 17 00:00:00 2001
From: Nathan Lasseter <nathan@4574.co.uk>
Date: Wed, 1 May 2013 22:18:40 +0100
Subject: Adding non-determinism

---
 examples/nondet.vfsm | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 examples/nondet.vfsm

(limited to 'examples/nondet.vfsm')

diff --git a/examples/nondet.vfsm b/examples/nondet.vfsm
new file mode 100644
index 0000000..dad024a
--- /dev/null
+++ b/examples/nondet.vfsm
@@ -0,0 +1,11 @@
+start: s0
+
+accept: s3
+
+edges:
+	s0 epsilon: s3
+	s0 a s1
+	s0 a s2
+	s1 a s3
+	s2 b s3
+end:
-- 
cgit v1.2.1