From 1e799f72df429beceb42aa8d1ce640e5e2c5210e Mon Sep 17 00:00:00 2001 From: Nathan Lasseter Date: Sat, 29 Mar 2014 18:27:13 +0000 Subject: Updated file endings for examples --- examples/looptest.ndfa | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 examples/looptest.ndfa (limited to 'examples/looptest.ndfa') diff --git a/examples/looptest.ndfa b/examples/looptest.ndfa new file mode 100644 index 0000000..37673fd --- /dev/null +++ b/examples/looptest.ndfa @@ -0,0 +1,12 @@ +Comment: Testing the nondeterministic machine's capability to deal with lambda loops + +start: s0 +accept: s3 + +edges: + s0 0 s1 + s1 lambda: s2 + s2 epsilon: s2 + s1 0 s3 + s2 1 s3 +end: -- cgit v1.2.1