Title of article
Iterated pushdown automata and sequences of rational numbers
Author/Authors
Fratani، نويسنده , , S. and Sénizergues، نويسنده , , G.، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2006
Pages
49
From page
363
To page
411
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
Serial Year
2006
Journal title
Annals of Pure and Applied Logic
Record number
1444183
Link To Document