progs/automata/dfa.sc
changeset 753 d94fdbef1a4f
parent 733 022e2cb1668d
equal deleted inserted replaced
752:c0bdd4ad69ca 753:d94fdbef1a4f
    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