摘要
本文着重研究重写系统的合流性,通过引入符号测度的概念,本文定义了半正则重写系统,并证明了半正则重写系统的合流性。
In this paper, the symbolic measure is introduced, and semiregularity is defined, and the confluence of semiregular term rewriting system is proved.
出处
《软件学报》
EI
CSCD
北大核心
1992年第4期1-11,共11页
Journal of Software
