--- a/progs/nfa.scala Thu Oct 10 10:43:03 2019 +0100
+++ b/progs/nfa.scala Thu Oct 10 21:04:38 2019 +0100
@@ -89,3 +89,4 @@
subset(nfa1).accepts("aaaaabbb".toList) // true
subset(nfa1).accepts("aaaaabbbaaa".toList) // false
subset(nfa1).accepts("ac".toList) // false
+