A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä

Decidability results for Watson-Crick D0L systems with nonregular triggers



Tekijät: Honkala J

Kustantaja: ELSEVIER SCIENCE BV

Julkaisuvuosi: 2003

Journal: Theoretical Computer Science

Tietokannassa oleva lehden nimi: THEORETICAL COMPUTER SCIENCE

Lehden akronyymi: THEOR COMPUT SCI

Vuosikerta: 302

Numero: 1-3

Aloitussivu: 481

Lopetussivu: 488

Sivujen määrä: 8

ISSN: 0304-3975

DOI: https://doi.org/10.1016/S0304-3975(03)00087-2


Tiivistelmä
We show that sequence equivalence, language equivalence, growth equivalence and road equivalence are decidable for standard Watson-Crick D0L systems having bounded balance. (C) 2003 Elsevier Science B.V. All rights reserved.



Last updated on 2024-26-11 at 16:06