progs/automata/enfa.sc
changeset 884 fa8cc61dfcf0
parent 779 1255b4dbe516
equal deleted inserted replaced
883:505472b270eb 884:fa8cc61dfcf0
    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))