Skip to content

Minimal DFAs for Testing Divisibility

Boris Alexeev

cs.CCarXiv:cs/0309052

Abstract

We present and prove a theorem answering the question "how many states does a minimal deterministic finite automaton (DFA) that recognizes the set of base-b numbers divisible by k have?"

Create a lesson