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