洪加威相关论文
本期发表了两篇关于计算机方面的文章。一篇是关于计算机理论方面的,《理论计算机科学中的一些问题》一文,介绍了作者洪加威同志近......
<正> 根据作者的结果,对任一正整数 n,确定阶为 p(kp+1)(KP+2),k≤n 的单群的工作是能够在有限步之内完成的(见文献[1]定理2).本文......
本文是同名文章的续篇。在上篇中给出了TD[d,k]文法的定义并证明了TD[d,o]文法产生的语言都属于DCFL,讨论了判定问题。在本篇中首......
本文提出了证明平面几何定理的例证法。根据这一方法,想判定一个几何命题是否为真,只需近似地验证一个数值曲特例就行了。这个特例......
