简介:本文主要讨论有限特殊Church-RosserThue系统所表现的么半群上Green等价的数量性质.证明每种Green等价类都是正则集合,其个数或1或∞且多项式时间内可计算.同时获得一个关于有限特殊Thue系统描述能力的结论.
简介:给出广义Fibonacci等距子列的定义,求出以Fibonacci数f∞为模的模数列的周期,由此得到求广义Fibonacci数列模f∞的周期的算法.
简介:给出关于可列非齐次马尔可夫链M元状态序组出现频率的一个新形式的强极限定理及其推广,所得结论对任意可列非齐次马尔可夫链普遍成立.