From a79414bcf14d17c58e040a7b8524f7bd8f7e5e03 Mon Sep 17 00:00:00 2001
From: Nat Lasseter <nat.lasseter@york.ac.uk>
Date: Mon, 22 Jan 2024 10:23:58 +0000
Subject: Migrate from gists

---
 NDFA2DFAexample | 32 ++++++++++++++++++++++++++++++++
 1 file changed, 32 insertions(+)
 create mode 100644 NDFA2DFAexample

(limited to 'NDFA2DFAexample')

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:
-- 
cgit v1.2.1