A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä

The sequence equivalence problem for primitive DOL systems




TekijätHonkala J

KustantajaACADEMIC PRESS INC ELSEVIER SCIENCE

Julkaisuvuosi2013

JournalJournal of Computer and System Sciences

Tietokannassa oleva lehden nimiJOURNAL OF COMPUTER AND SYSTEM SCIENCES

Lehden akronyymiJ COMPUT SYST SCI

Numero sarjassa1

Vuosikerta79

Numero1

Aloitussivu101

Lopetussivu110

Sivujen määrä10

ISSN0022-0000

DOIhttps://doi.org/10.1016/j.jcss.2012.05.013


Tiivistelmä
The DOL sequence equivalence problem consists of deciding, given. two morphisms g: X* -> X*, h: X* -> X* and a word w is an element of X*, whether or not g(i)(w) = h(i)(w) for all i >= 0. We show that in case of primitive morphisms, to decide the DOL sequence equivalence problem, it suffices to consider the terms of the sequences with i < 7n(3)root n log n, where n is the cardinality of X. A smaller bound is obtained for primitive looping morphisms. (C) 2012 Elsevier Inc. All rights reserved.



Last updated on 2024-26-11 at 14:05