A1 Refereed original research article in a scientific journal
The language equivalence problem for HDOL systems having DOL growths
Authors: Honkala J
Publisher: ELSEVIER SCIENCE BV
Publication year: 2005
Journal: Theoretical Computer Science
Journal name in source: THEORETICAL COMPUTER SCIENCE
Journal acronym: THEOR COMPUT SCI
Volume: 330
Issue: 1
First page : 123
Last page: 133
Number of pages: 11
ISSN: 0304-3975
DOI: https://doi.org/10.1016/j.tcs.2004.09.014
Abstract
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.
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.