--- a/progs/automata/der.sc	Sat Oct 11 08:33:35 2025 +0100
+++ b/progs/automata/der.sc	Sat Oct 11 09:12:13 2025 +0100
@@ -1,4 +1,4 @@
-// Another automaton construction
+// Another "automaton" construction
 //================================
 
 import $file.dfa, dfa._ 
@@ -48,3 +48,8 @@
 println(pseudo.accepts("a".toList))   // true
 println(pseudo.accepts("aa".toList))  // true
 println(pseudo.accepts("bb".toList))  // false
+
+// Moral: this is not really a construction of an automaton, because
+// it can potentially have infinitely many states. Our implementation
+// of an automaton does not prevent this. It takes some additional
+// wprk to make this method to work.