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 条
12345