K-型相关论文
由于多栈的模型图灵等价,因此,通用的异步通信程序模型的验证问题不可判定.为此,基于Petri网,提出了一个新的模型通信——通信Petr......
引进有限群的K-型这一概念和工具,讨论了最高阶元素个数| M(G)|=44,52的有限群G,确定了G的结构,并证明了G是可解群.......
