changeset 753 | d94fdbef1a4f |
parent 733 | 022e2cb1668d |
--- 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