changeset 491 | d5776c6018f0 |
parent 487 | a697421eaa04 |
--- a/progs/display/nfa.scala Tue May 09 12:31:55 2017 +0100 +++ b/progs/display/nfa.scala Wed May 10 17:03:21 2017 +0100 @@ -1,6 +1,8 @@ // NFAs in Scala using partial functions (returning // sets of states) -import scala.util.Try +// +// needs :load dfa.scala for states + // type abbreviation for partial functions type :=>[A, B] = PartialFunction[A, B]