Title of article :
Iterated pushdown automata and sequences of rational numbers
Author/Authors :
Fratani، نويسنده , , S. and Sénizergues، نويسنده , , G.، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2006
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 .
Keywords :
integer sequences , Tree-structure , Weak arithmetics , Iterated pushdown automata , Equivalence problems
Journal title :
Annals of Pure and Applied Logic
Journal title :
Annals of Pure and Applied Logic
