Comment.

demos/brz/Brzozowski.ml

@@ -399,7 +399,7 @@ type dfa = {
    that case, the following flag should be set to true]. *)
 
 let accepting_state_can_have_successors =
-  false
+  true
 
 let may_have_successors (e : regexp) : bool =
   accepting_state_can_have_successors || not (nullable e)
@@ -476,6 +476,10 @@ let dfa (e : regexp) : dfa =
    the input, so (if desired) it is easy to check a posteriori whether the end
    of the input was reached. *)
 
+(* Beside, if [accepting_state_can_have_successors] is [true], then it makes
+   sense to offer a variant of [exec] that returns no just the first match,
+   but a list of all matches. This is not done here. *)
+
 type input = Char.t Seq.t
 
 let rec exec (a : dfa) (q : state) (input : input) (i : int) =