Work

On the Size Complexity of Deterministic Frequency Automata