Intersection of the reflexive transitive closures of two rewrite relations induced by term rewriting systems

被引：0

作者：

Vagvolgyi, Sandor ^{[1
]}

机构：

[1] Univ Szeged, Dept Fdn Comp Sci, Arpad Ter 2, H-6720 Szeged, Hungary

来源：

INFORMATION PROCESSING LETTERS | 2018年 / 134卷

关键词：

Term rewriting systems; Post Correspondence Problem; Theory of computation;

D O I：

10.1016/j.ipl.2018.02.005

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

We show that it is undecidable whether the intersection of the reflexive transitive closures of two rewrite relations induced by term rewriting systems is equal to the reflexive transitive closure of a rewrite relation induced by a term rewriting system. (C) 2018 Elsevier B.V. All rights reserved.

引用

页码：47 / 51

页数：5

共 4 条

[1] DERIVED PAIRS, OVERLAP CLOSURES, AND REWRITE DOMINOES - NEW TOOLS FOR ANALYZING TERM REWRITING-SYSTEMS
GUTTAG, JV
KAPUR, D
MUSSER, DR
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1982, 140 : 300 - 312
[2] Transitive closures of regular relations for verifying infinite-state systems
Jonsson, B
Nilsson, M
[J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 2000, 1785 : 220 - 234
[3] OVERLAP CLOSURES DO NOT SUFFICE FOR TERMINATION OF GENERAL TERM REWRITING-SYSTEMS
ZHANG, XB
[J]. INFORMATION PROCESSING LETTERS, 1991, 37 (01) : 9 - 11
[4] Assessment of genetic diversity and variation of Robinia pseudoacacia seeds induced by short-term spaceflight based on two molecular marker systems and morphological traits
Yuan, C. Q.
Li, Y. F.
Sun, P.
Sun, Y. H.
Zhang, G. J.
Yang, M. S.
Zhang, Y. Y.
Li, Y.
Wang, L.
[J]. GENETICS AND MOLECULAR RESEARCH, 2012, 11 (04): : 4268 - 4277

← 1 →