progs/nfa.scala
changeset 489 e28d7a327870
parent 488 598741d39d21
child 490 4fee50f38305
equal deleted inserted replaced
488:598741d39d21 489:e28d7a327870
    83 
    83 
    84 
    84 
    85 
    85 
    86 // subset constructions
    86 // subset constructions
    87 
    87 
    88 def subset(nfa: NFA[A, C]) : DFA[Set[A], C] =
    88 //def subset(nfa: NFA[A, C]) : DFA[Set[A], C] =