Migrate from gists

1 files changed, 32 insertions, 0 deletions

diff --git a/NDFA2DFAexample b/NDFA2DFAexample
new file mode 100644
index 0000000..53b8e77
--- /dev/null
+++ b/NDFA2DFAexample
@@ -0,0 +1,32 @@
+This example from http://en.wikipedia.org/wiki/Powerset_construction
+
+Comment: In the NDFA Extension to the VFSM syntax (VFSMv2N), lambda: and epsilon: are equivalent
+Comment: In VFSMv2N, lambda: and epsilon: are special transitions indicating transition on no input
+Start: 1
+Accept: 3 4
+Edges:
+	1 0 2
+	1 lambda: 3
+	2 1 2
+	2 1 4
+	3 epsilon: 2
+	3 0 4
+	4 0 3
+End:
+
+Should become a DFA under powerset construction or equivalent
+
+Start: {123}
+Accept: {123} {24} {23} {4}
+Edges:
+	{123} 0 {24}
+	{123} 1 {24}
+	{24} 0 {23}
+	{24} 1 {24}
+	{23} 0 {4}
+	{23} 1 {24}
+	{4} 0 {23}
+	{4} 1 {}
+	{} 0 {}
+	{} 1 {}
+End: