1 files changed, 11 insertions, 0 deletions

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: