progs/automata/dfa.sc
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