2 papers
cs.FL2025
Linear Recurrence Sequence Automata and the Addition of Abstract Numeration Systems
Olivier Carton, Jean-Michel Couvreur, Martin Delacourt +1
Abstract numeration systems encode natural numbers using radix ordered words of an infinite regular language and linear recurrence sequences play a key role in their valuation. Seq…
cs.FL2024
Deterministic pushdown automata can compress some normal sequences
Olivier Carton, Sylvain Perifel
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. B…