THE COMPRESSED PATH ORDERING AND THE STRUCTURE MEASURE OF TERM REWRITING SYSTEM
压缩路径序与重写系统的结构测度

The structure measure is very important to prove the confluence of term rewriting system. This paper discusses the effective definition approach of structure measure. For this,the notion of compressed path ordering is introduced. It is easy to show whether or not a compressed path ordering is the structure measure of given term rewriting system.