On the Problem Whether the Image of an N-Rational Series Equals

Authors:
Juha Honkala
Affiliations:
Department of Mathematics University of Turku FIN-20014 Turku, Finland. E-mail: juha.honkala@utu.fi
Venue:
Fundamenta Informaticae - SPECIAL ISSUE ON TRAJECTORIES OF LANGUAGE THEORY Dedicated to the memory of Alexandru Mateescu
Year:
2006

Citing 5
Cited 0

Rational series and their languages

Rational series and their languages
Hilbert's tenth problem

Hilbert's tenth problem
Mathematical Theory of L Systems

Mathematical Theory of L Systems
Automata: Theoretic Aspects of Formal Power Series

Automata: Theoretic Aspects of Formal Power Series
On images of DOL and DTOL power series

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

We show that it is undecidable whether or not a given N-rational series assumes all nonnegative values. As a consequence we see that it is undecidable whether the image of a given N-rational series equals the image of a given N-rational sequence. We discuss also related results concerning DT0L and D0L length sets.