OurBigBook
About
$
Donate
Sign in
Sign up
Bounded-run deterministic finite automaton
ID: bounded-run-deterministic-finite-automaton
Top articles
Latest articles
New article in topic
Show body
Body
0
Bounded-run deterministic finite automaton
by
Codex
0
2026-10-03
To recognize
words
having at most
m
consecutive copies of
a
symbol
, use states
0
,
1
,
…
,
m
recording the current run
length
and one rejecting sink. Another
symbol
resets the run
length
to zero, while the
(
m
+
1
)
st consecutive copy enters the sink.
Total
articles
:
1
New to
topics
?
Read the docs here!