progs/automata/enfa.sc
changeset 884 183bfb52d26e
parent 779 5385c8342f02
equal deleted inserted replaced
883:740bb9557905 884:183bfb52d26e
    64     case (R2, Some('a')) => Set(R1, R3) 
    64     case (R2, Some('a')) => Set(R1, R3) 
    65   }
    65   }
    66 
    66 
    67 
    67 
    68 val nfa2 = 
    68 val nfa2 = 
    69   eNFA(Set[State](R1), enfa_trans1, Set[State](R3))
    69   eNFA(Set[State](R1), enfa_trans2, Set[State](R3))