英语语法分析

As a generalization of quasi C semigroups, left semiregular orthogroups are defined in this paper.

作为拟C-半群的推广，本文定义了左半正则纯整群并半群，给出了它的左半织积结构。

In this paper, the symbolic measure is introduced, and semiregularity is defined, and the confluence of semiregular term rewriting system is proved.

本文着重研究重写系统的合流性，通过引入符号测度的概念，本文定义了半正则重写系统，并证明了半正则重写系统的合流性。