One-Pass Reductions

被引：1
|
作者：
Vagvolgyi, Sandor [1 ]
机构：
[1] Univ Szeged, Dept Fdn Comp Sci, Arpad Ter 2, H-6720 Szeged, Hungary
来源：
ACTA CYBERNETICA | 2016年 / 22卷 / 03期
关键词：
term rewrite systems; OI and JO one-pass reductions; tree automata;
D O I：
10.14232/actacyb.22.3.2016.6
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
We study OI and JO one-pass reduction sequences with term rewrite systems. We present second order decidability and undecidability results on recognizable tree languages and one-pass reductions. For left-linear TRSs, the second order OI inclusion problem and the second order OI reachability problem are decidable, the second order OI joinability problem is undecidable. For right-linear TRSs, the second order common JO ancestor problem is undecidable.
引用
收藏
页码：633 / 655
页数：23
相关论文
共 50 条
  • [1] Some decidability results on one-pass reductions
    Vagvolgyi, Sandor
    [J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2019, 105 : 47 - 74
  • [2] ONE-PASS CULTIVATION
    SIMS, REH
    [J]. NEW ZEALAND JOURNAL OF AGRICULTURE, 1977, 135 (03): : 38 - &
  • [3] ONE-PASS MODELING
    JONES, JH
    HARNE, RL
    FIRTH, KJ
    [J]. TRANSACTIONS OF THE AMERICAN NUCLEAR SOCIETY, 1985, 49 (JUN): : 471 - 473
  • [4] VALUE OF ONE-PASS RETENTION
    FRANKLE, WE
    SHERIDAN, JL
    [J]. TAPPI, 1976, 59 (02): : 84 - 88
  • [5] On one-pass term rewriting
    Fülöp, Z
    Jurvanen, E
    Steinby, M
    Vágvölgyi, S
    [J]. MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 1998, 1998, 1450 : 248 - 256
  • [6] One-Pass Clustering Superpixels
    Kesavan, Yogarajah
    Ramanan, Amirthalingam
    [J]. 2014 7TH INTERNATIONAL CONFERENCE ON INFORMATION AND AUTOMATION FOR SUSTAINABILITY (ICIAFS), 2014,
  • [7] One-pass AUC optimization
    Gao, Wei
    Wang, Lu
    Jin, Rong
    Zhu, Shenghuo
    Zhou, Zhi-Hua
    [J]. ARTIFICIAL INTELLIGENCE, 2016, 236 : 1 - 29
  • [8] A GENERIC ONE-PASS ASSEMBLER
    IVES, WE
    [J]. DR DOBBS JOURNAL, 1990, 15 (09): : 50 - &
  • [9] On one-pass CPS transformations
    Danvy, Olivier
    Millikin, Kevin
    Nielsen, Lasse R.
    [J]. JOURNAL OF FUNCTIONAL PROGRAMMING, 2007, 17 : 793 - 812
  • [10] PARALLEL ONE-PASS COMPILATION
    KLEIN, E
    KOSKIMIES, K
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 461 : 76 - 90
12345