Bounded-run deterministic finite automaton

ID: bounded-run-deterministic-finite-automaton

To recognize words having at most consecutive copies of a symbol, use states recording the current run length and one rejecting sink. Another symbol resets the run length to zero, while the st consecutive copy enters the sink.

New to topics? Read the docs here!