A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä
On the problem whether the image of an N-rational series equals N
Tekijät: Honkala J
Kustantaja: IOS PRESS
Julkaisuvuosi: 2006
Journal: Fundamenta Informaticae
Tietokannassa oleva lehden nimi: FUNDAMENTA INFORMATICAE
Lehden akronyymi: FUND INFORM
Vuosikerta: 73
Numero: 1-2
Aloitussivu: 127
Lopetussivu: 132
Sivujen määrä: 6
ISSN: 0169-2968
Tiivistelmä
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.
Turun yliopiston Tutkimustietojärjestelmän portaali