On constructing minimal deterministic finite automaton recognizing a prefix-code of a given cardinality

From MaRDI portal