ON CONFLUENCE OF ONE-RULE TRACE-REWRITING SYSTEMS

被引：5

作者：

WRATHALL, C ^{[1
]}

DIEKERT, V ^{[1
]}

机构：

[1] UNIV STUTTGART,INST INFORMAT,W-7000 STUTTGART 80,GERMANY

来源：

MATHEMATICAL SYSTEMS THEORY | 1995年 / 28卷 / 04期

关键词：

D O I：

10.1007/BF01185401

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

The paper presents combinatorial criteria for confluence of one-rule trace-rewriting systems. The criteria are based on self-overlaps of traces, which are closely related to the notion of conjugacy of traces, and can be tested in linear time. As a special case, we reobtain the corresponding results for strings.

引用

页码：341 / 361

页数：21

共 50 条

[1] ONE-RULE TRACE-REWRITING SYSTEMS AND CONFLUENCE
WRATHALL, C
DIEKERT, V
OTTO, F
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 629 : 511 - 521
[2] ON CONFLUENCE VERSUS STRONG CONFLUENCE FOR ONE-RULE TRACE-REWRITING SYSTEMS
OTTO, F
[J]. MATHEMATICAL SYSTEMS THEORY, 1995, 28 (04): : 363 - 384
[3] CONFLUENCE OF ONE-RULE THUE SYSTEMS
WRATHALL, C
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 572 : 237 - 246
[4] On termination of confluent one-rule string-rewriting systems
ShikishimaTsuji, K
Katsura, M
Kobayashi, Y
[J]. INFORMATION PROCESSING LETTERS, 1997, 61 (02) : 91 - 96
[5] TERMINATION OF REWRITING IS UNDECIDABLE IN THE ONE-RULE CASE
DAUCHET, M
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 324 : 262 - 270
[6] On normalizing, non-terminating one-rule string rewriting systems
Geser, A
[J]. THEORETICAL COMPUTER SCIENCE, 2000, 243 (1-2) : 489 - 498
[7] On the confluence of trace rewriting systems
Lohrey, M
[J]. FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, 1998, 1530 : 319 - 330
[8] Termination and derivational complexity of confluent one-rule string-rewriting systems
Kobayashi, Y
Katsura, M
Shikishima-Tsuji, K
[J]. THEORETICAL COMPUTER SCIENCE, 2001, 262 (1-2) : 583 - 632
[9] Loops of superexponential lengths in one-rule string rewriting
Geser, A
[J]. REWRITING TECHNIQUES AND APPLICATIONS, 2002, 2378 : 267 - 280
[10] Confluence problems for trace rewriting systems
Lohrey, M
[J]. INFORMATION AND COMPUTATION, 2001, 170 (01) : 1 - 25

← 1 2 3 4 5 →