最后证明了模糊测度空间的正则扩张及表示定理。
The regular extension and representation theorems of fuzzy measure Spaces will be proved.
本文着重研究重写系统的合流性,通过引入符号测度的概念,本文定义了半正则重写系统,并证明了半正则重写系统的合流性。
In this paper, the symbolic measure is introduced, and semiregularity is defined, and the confluence of semiregular term rewriting system is proved.
应用推荐