In this paper, we give a deterministic pushdown transducer and a normal sequence of digits compressed by it. This solves positively a question left open in a previous paper by V. Becher, P. A. Heiber and the first author.

@article{paperbot2734,
  title = {Deterministic pushdown automata can compress some normal sequences},
  author = {Olivier Carton and Sylvain Perifel},
  journal = {Logical Methods in Computer Science},
  volume = {Volume 20, Issue 3},
  year = {2024},
  doi = {10.46298/lmcs-20(3:15)2024}
}