From 2d1d6513b5c281e0330e232ef23189d6209fe63c Mon Sep 17 00:00:00 2001
From: Nathan Lasseter <nathan.je.lasseter@googlemail.com>
Date: Tue, 26 Mar 2013 19:59:45 +0000
Subject: Added Powerset Construction example

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

diff --git a/examples/psc.vfsm b/examples/psc.vfsm
new file mode 100644
index 0000000..e906108
--- /dev/null
+++ b/examples/psc.vfsm
@@ -0,0 +1,15 @@
+Comment: From http://en.wikipedia.org/wiki/Powerset_construction
+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