A1 Refereed original research article in a scientific journal
On the problem whether the image of an N-rational series equals N
Authors: Honkala J
Publisher: IOS PRESS
Publication year: 2006
Journal: Fundamenta Informaticae
Journal name in source: FUNDAMENTA INFORMATICAE
Journal acronym: FUND INFORM
Volume: 73
Issue: 1-2
First page : 127
Last page: 132
Number of pages: 6
ISSN: 0169-2968
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.
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.