On Sequences Defined by D0L Power Series
Department of Mathematics,
University of Turku,
FIN-20014 Turku, Finland,
Turku Centre for Computer Science TUCS,
FIN-20520 Turku, Finland;
Accepted: December 1998
We study D0L power series over commutative semirings. We show that a sequence (cn)n≥0 of nonzero elements of a field A is the coefficient sequence of a D0L power series if and only if there exist a positive integer k and integers βi for 1 ≤ i ≤ k such that for all n ≥ 0. As a consequence we solve the equivalence problem of D0L power series over computable fields.
Mathematics Subject Classification: 68Q45
Key words: D0L system / D0L power series.
© EDP Sciences, 1999