REWRITING EXTENDED REGULAR EXPRESSIONS

被引：15
|
作者：
ANTIMIROV, VM
MOSSES, PD
机构：
[1] AARHUS UNIV,DEPT COMP SCI,BRICS,DK-8000 AARHUS C,DENMARK
[2] INST NATL RECH INFORMAT & AUTOMAT LORRAINE,CRIN,F-54602 VILLERS LES NANCY,FRANCE
来源：
THEORETICAL COMPUTER SCIENCE | 1995年 / 143卷 / 01期
关键词：
D O I：
10.1016/0304-3975(95)80010-7
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We consider an extended algebra of regular events (languages) with intersection besides the usual operations. This algebra has the structure of a distributive lattice with monotonic operations; the latter property is crucial for some applications. We give a new complete Horn-equational axiomatization of the algebra and develop some term-rewriting techniques for constructing logical inferences of valid equations.
引用
收藏
页码：51 / 72
页数：22
相关论文
共 50 条
  • [31] EMPTINESS OF COMPLEMENT PROBLEM FOR SEMI EXTENDED REGULAR EXPRESSIONS REQUIRES CN SPACE
    ROBSON, JM
    INFORMATION PROCESSING LETTERS, 1979, 9 (05) : 220 - 222
  • [32] Towards a Normal Form and a Query Language for Extended Relations Defined by Regular Expressions
    Benczur, Andras
    Szabo, Gyula I.
    JOURNAL OF DATABASE MANAGEMENT, 2016, 27 (02) : 27 - 48
  • [33] Regular Transducer Expressions for Regular Transformations
    Dave, Vrunda
    Gastin, Paul
    Krishna, Shankara Narayanan
    LICS'18: PROCEEDINGS OF THE 33RD ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, 2018, : 315 - 324
  • [34] Regular transducer expressions for regular transformations
    Dave, Vrunda
    Gastin, Paul
    Krishna, Shankara Narayanan
    INFORMATION AND COMPUTATION, 2022, 282
  • [35] Synchronized regular expressions
    Della Penna, G
    Intrigila, B
    Tronci, E
    Zilli, MV
    ACTA INFORMATICA, 2003, 39 (01) : 31 - 70
  • [36] Regular Expressions on the Web
    Hodovan, Renata
    Herczeg, Zoltan
    Kiss, Akos
    12TH IEEE INTERNATIONAL SYMPOSIUM ON WEB SYSTEMS EVOLUTION (WSE 2010), 2010, : 29 - 32
  • [37] Forkable Regular Expressions
    Sulzmann, Martin
    Thiemann, Peter
    LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS, LATA 2016, 2016, 9618 : 194 - 206
  • [38] EXTENDED AUTOMATA-LIKE REGULAR EXPRESSIONS OF STAR DEGREE AT MOST (2, 1)
    YOO, H
    HASHIGUCHI, K
    THEORETICAL COMPUTER SCIENCE, 1991, 88 (02) : 351 - 363
  • [39] A Play on Regular Expressions
    Fischer, Sebastian
    Huch, Frank
    Wilke, Thomas
    ICFP 2010: PROCEEDINGS OF THE 2010 ACM SIGPLAN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING, 2010, : 357 - 368
  • [40] Timed regular expressions
    Asarin, E
    Caspi, P
    Maler, O
    JOURNAL OF THE ACM, 2002, 49 (02) : 172 - 206
12345