progs/automata/dfa.sc
changeset 753 30ea6b01db46
parent 733 4d37ccc8c5be
equal deleted inserted replaced
752:1f1a293549c1 753:30ea6b01db46
    37     case (Q3, 'b') => Q0
    37     case (Q3, 'b') => Q0
    38     case (Q4, 'a') => Q4
    38     case (Q4, 'a') => Q4
    39     case (Q4, 'b') => Q4 }
    39     case (Q4, 'b') => Q4 }
    40 
    40 
    41 val dfa = DFA(Q0, delta, Set[State](Q4))
    41 val dfa = DFA(Q0, delta, Set[State](Q4))
    42 dfa.accepts("aaabbb".toList) 
    42 dfa.accepts("aaabbb".toList)    // true
    43 
    43 
    44 dfa.accepts("bbabaab".toList)   // true
    44 dfa.accepts("bbabaab".toList)   // true
    45 dfa.accepts("baba".toList)      // false
    45 dfa.accepts("baba".toList)      // false
    46 dfa.accepts("abc".toList)       // false
    46 dfa.accepts("abc".toList)       // false
    47 
    47