progs/nfa.scala
changeset 652 4642e2073808
parent 623 47a299e7010f
--- 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
+