A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä

The language equivalence problem for HDOL systems having DOL growths



Tekijät: Honkala J

Kustantaja: ELSEVIER SCIENCE BV

Julkaisuvuosi: 2005

Journal: Theoretical Computer Science

Tietokannassa oleva lehden nimi: THEORETICAL COMPUTER SCIENCE

Lehden akronyymi: THEOR COMPUT SCI

Vuosikerta: 330

Numero: 1

Aloitussivu: 123

Lopetussivu: 133

Sivujen määrä: 11

ISSN: 0304-3975

DOI: https://doi.org/10.1016/j.tcs.2004.09.014


Tiivistelmä
We show that language equivalence is decidable for HD0L systems having D0L growths, By definition. an HD0L system H has D0L growth if the length sequence of H is a D0L length sequence. (C) 2004 Elsevier B.V. All rights reserved.



Last updated on 2024-26-11 at 17:18