| changeset 753 | 30ea6b01db46 |
| parent 733 | 4d37ccc8c5be |
--- a/progs/automata/dfa.sc Tue Sep 01 16:00:37 2020 +0100 +++ b/progs/automata/dfa.sc Wed Sep 02 23:34:19 2020 +0100 @@ -39,7 +39,7 @@ case (Q4, 'b') => Q4 } val dfa = DFA(Q0, delta, Set[State](Q4)) -dfa.accepts("aaabbb".toList) +dfa.accepts("aaabbb".toList) // true dfa.accepts("bbabaab".toList) // true dfa.accepts("baba".toList) // false