progs/nfa.scala
changeset 489 4430477595ec
parent 488 057b4603b940
child 490 8a07f7256f2a
equal deleted inserted replaced
488:057b4603b940 489:4430477595ec
    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] =