--- a/progs/nfa.scala	Fri Apr 28 11:01:25 2017 +0100
+++ b/progs/nfa.scala	Sun May 07 00:20:58 2017 +0100
@@ -79,3 +79,10 @@
 nfa1.accepts2("aaaaabbb".toList)       // true
 nfa1.accepts2("aaaaabbbaaa".toList)    // false
 nfa1.accepts2("ac".toList)             // false
+
+
+
+
+// subset constructions
+
+def subset(nfa: NFA[A, C]) : DFA[Set[A], C] =