论文部分内容阅读
在理论计算机科学中,形式语言的讨论归结为形式幂级数半环上的方程x=ax+b,而半环上极限论是讨论半环上方程的重要工具,特别是当limn→∞an=0时,强收敛性保证了半环上方程x=ax+b有唯一解a*b.因此半环上的强收敛性的讨论具有十分重要的意义.文章在实数半环上利用Cauchy强收敛性证明了Euler收潋性及其强收敛性,简化了传统的对Euler收敛的讨论.