Deterministic pushdown automata can compress some normal sequences (Logical Methods in Computer Science, 2024)