Skip to Main content Skip to Navigation
Journal articles

Iterated pushdown automata and sequences of rational numbers

Abstract : We introduce a link between automata of level $k$ and tree-structures. This method leads to new decidability results about integer sequences. We also reduce some equality problems for sequences of rational numbers to the equivalence problem for deterministic automata of level $k$.
Document type :
Journal articles
Complete list of metadata
Contributor : Géraud Sénizergues <>
Submitted on : Sunday, March 15, 2009 - 12:12:36 PM
Last modification on : Friday, April 12, 2019 - 2:46:04 PM


  • HAL Id : hal-00368254, version 1



Séverine Fratani, Géraud Sénizergues. Iterated pushdown automata and sequences of rational numbers. Annals of Pure and Applied Logic, Elsevier Masson, 2006, 141 (3), pp.363--411. ⟨hal-00368254⟩



Record views