COMBINING MATCHING ALGORITHMS - THE REGULAR CASE

被引：16
|
作者：
NIPKOW, T
机构：
[1] University of Cambridge, Computer Laboratory, Cambridge, CB2 3QG, Pembroke Street
来源：
JOURNAL OF SYMBOLIC COMPUTATION | 1991年 / 12卷 / 06期
关键词：
D O I：
10.1016/S0747-7171(08)80145-9
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
The problem of combining matching algorithms for equational theories with disjoint signatures is studied. It is shown that the combined matching problem is in general undecidable but that it becomes decidable if all theories are regular. For the case of regular theories an efficient combination algorithm is developed. As part of that development we present a simple algorithm for solving the word problem in the combination of arbitrary equational theories with disjoint signatures. © 1991, Academic Press Limited. All rights reserved.
引用
收藏
页码：633 / 653
页数：21
相关论文
共 50 条
  • [41] Taxonomies of Regular Tree Algorithms
    Cleophas, Loek
    Hemerik, Kees
    PROCEEDINGS OF THE PRAGUE STRINGOLOGY CONFERENCE 2009, 2009, : 146 - 159
  • [42] Matching preclusion and conditional matching preclusion for regular interconnection networks
    Cheng, Eddie
    Lipman, Marc J.
    Liptak, Laszlo
    DISCRETE APPLIED MATHEMATICS, 2012, 160 (13-14) : 1936 - 1954
  • [43] Path algorithms on regular graphs
    Caucal, Didier
    Hieu, Dinh Trong
    FUNDAMENTALS OF COMPUTATION THEORY, PROCEEDINGS, 2007, 4639 : 199 - +
  • [44] Algorithms for learning regular expressions
    Fernau, H
    ALGORITHMIC LEARNING THEORY, 2005, 3734 : 297 - 311
  • [45] The regular combining of different types of crystal
    Royer, L
    COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES, 1925, 180 : 2050 - 2052
  • [46] Fast and compact regular expression matching
    Bille, Philip
    Farach-Colton, Martin
    THEORETICAL COMPUTER SCIENCE, 2008, 409 (03) : 486 - 496
  • [47] From regular expression matching to parsing
    Bille, Philip
    Li Gortz, Inge
    ACTA INFORMATICA, 2022, 59 (06) : 709 - 724
  • [48] Regular expression pattern matching for XML
    Hosoya, H
    Pierce, BC
    JOURNAL OF FUNCTIONAL PROGRAMMING, 2003, 13 : 961 - 1004
  • [49] Translating regular expression matching into transducers
    Sakuma, Yuto
    Minamide, Yasuhiko
    Voronkov, Andrei
    JOURNAL OF APPLIED LOGIC, 2012, 10 (01) : 32 - 51
  • [50] Regular Expression Matching in Reconfigurable Hardware
    Ioannis Sourdis
    João Bispo
    João M. P. Cardoso
    Stamatis Vassiliadis
    Journal of Signal Processing Systems, 2008, 51 : 99 - 121
12345