DETERMINISTIC PUSHDOWN AUTOMATA CAN COMPRESS SOME NORMAL SEQUENCES. - CARTON, OLIVIER; PERIFEL, SYLVAIN (Logical Methods in Computer Science (LMCS), 2024)