On the problem whether the image of an N-rational series equals N



: Honkala J

Publisher: IOS PRESS

: 2006

: Fundamenta Informaticae

: FUNDAMENTA INFORMATICAE

: FUND INFORM

: 73

: 1-2

: 127

: 132

: 6

: 0169-2968


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.



Last updated on 2024-26-11 at 22:32