The Sequence Equivalence Problem for Marked DT0L Systems

被引：0

作者：

Honkala, Juha ^{[1
]}

机构：

[1] Univ Turku, Dept Math, FI-20014 Turku, Finland

来源：

FUNDAMENTA INFORMATICAE | 2011年 / 110卷 / 1-4期

关键词：

DT0L system; DT0L sequence equivalence problem; marked morphism; decidability;

D O I：

10.3233/FI-2011-535

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

We study the DT0L sequence equivalence problem for marked morphisms. We show that to decide this problem it is enough to consider initial terms involving at most 2n morphisms where n is the cardinality of the underlying alphabet.

引用

页码：175 / 182

页数：8

共 50 条

[21] The Equivalence Problem of Polynomially Bounded D0L Systems— a Bound Depending Only on the Size of the Alphabet
Juha Honkala
Theory of Computing Systems, 2003, 36 : 89 - 103
[22] The equivalence problem for languages defined by transductions on D0L languages
Honkala, J
INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 2005, 82 (08) : 911 - 918
[23] Marked D0L systems and the 2n-conjecture
Honkala, Juha
THEORETICAL COMPUTER SCIENCE, 2012, 432 : 94 - 97
[24] SIMPLE REDUCTIONS BETWEEN D0L LANGUAGE AND SEQUENCE EQUIVALENCE PROBLEMS
SALOMAA, A
DISCRETE APPLIED MATHEMATICS, 1993, 41 (03) : 271 - 274
[25] L0-equivalence of maps
Gaffney, T
MATHEMATICAL PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY, 2000, 128 : 479 - 496
[26] ON THE EQUIVALENCE PROBLEM FOR ATTRIBUTE SYSTEMS
COURCELLE, B
FRANCHIZANNETTACCI, P
INFORMATION AND CONTROL, 1982, 52 (03): : 275 - 305
[27] A new bound for the DOL sequence equivalence problem
Honkala, Juba
ACTA INFORMATICA, 2007, 43 (06) : 419 - 429
[28] Easy cases of the DOL sequence equivalence problem
Honkala, J
DISCRETE APPLIED MATHEMATICS, 2001, 113 (2-3) : 285 - 290
[29] An n2-bound for the ultimate equivalence problem of certain D0L systems over an n-letter alphabet
Honkala, J
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2005, 71 (04) : 506 - 519
[30] PROBLEM OF ENSEMBLE EQUIVALENCE FOR BOSE SYSTEMS
ZAGREBNOV, VA
KURBATOV, AM
PAPOYAN, VV
FIZIKA NIZKIKH TEMPERATUR, 1987, 13 (06): : 664 - 664

← 1 2 3 4 5 →