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 条
  • [41] DERIVATIVES OF REGULAR EXPRESSIONS
    BRZOZOWSKI, JA
    JOURNAL OF THE ACM, 1964, 11 (04) : 481 - &
  • [42] Regular expressions of conditions
    Popa, Emil Marin
    WSEAS Transactions on Information Science and Applications, 2007, 4 (01): : 226 - 229
  • [43] INTERSECTION OF -ω-REGULAR EXPRESSIONS
    Chebotarev, A. N.
    CYBERNETICS AND SYSTEMS ANALYSIS, 2021, 57 (05) : 676 - 684
  • [44] Refactoring With Regular Expressions
    Spinellis, Diomidis
    IEEE SOFTWARE, 2024, 41 (06) : 29 - 33
  • [45] Explanations for Regular Expressions
    Erwig, Martin
    Gopinath, Rahul
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2012, 2012, 7212 : 394 - 408
  • [46] Hybrid regular expressions
    Li, XD
    Zheng, T
    Hou, JM
    Zhao, JH
    Zheng, GL
    HYBRID SYSTEMS: COMPUTATION AND CONTROL, 1998, 1386 : 384 - 399
  • [47] Implication of regular expressions
    Thomo, Alex
    APPLIED MATHEMATICS LETTERS, 2012, 25 (10) : 1394 - 1398
  • [48] Synchronized regular expressions
    Giuseppe Della Penna
    Benedetto Intrigila
    Enrico Tronci
    Marisa Venturini Zilli
    Acta Informatica, 2003, 39 : 31 - 70
  • [49] Memoized Regular Expressions
    Van der Merwe, Brink
    Mouton, Jacobie
    Van Litsenborgh, Steyn
    Berglund, Martin
    IMPLEMENTATION AND APPLICATION OF AUTOMATA (CIAA 2021), 2021, 12803 : 39 - 52
  • [50] Intersection of -ω-Regular Expressions
    A. N. Chebotarev
    Cybernetics and Systems Analysis, 2021, 57 : 676 - 684
12345