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