论文部分内容阅读
提出了Todd-Coxeter算法在有限步内终止的条件,并作出了论证.结论可以作为Todd-Coxeter算法应用的理论依椐.
Todd-Coxeter算法的证明
【摘 要】
：
提出了Todd-Coxeter算法在有限步内终止的条件,并作出了论证.结论可以作为Todd-Coxeter算法应用的理论依椐.
【机 构】
：
福建对外经济贸易职业技术学院
【出 处】
：
长沙大学学报
【发表日期】
：
2013年5期
其他文献
农地流转是解决当前农村土地利用细碎化及撂荒、闲置的有效途径,有助于农业增产、农民增收和农村稳定。从农户这一微观主体角度出发,选取了工业区周边农户作为典型代表,分析
为了提升双向中继方案的抗衰落性能,研究了一种多输入多输出（Multiple Input Multiple Output,MIMO）译码转发（decode-and-forward,DF）双向中继方案.该方案将网络编码、MIMO和协作
毛泽东是探索中国特色社会主义民主政治的伟大先驱和奠基人,确立和坚持了人民代表大会制度,为社会主义人民民主协商开辟了根本制度道路;建立和完善了民族区域自治制度,为社会
明朝施州和施州宣慰司的设立时间在部分史料记载中有混淆不清的嫌疑。洪武四年所设立的为土司性质的施州宣慰司并非地方政府管辖性质的施州,施州真正设立时间为洪武十四年五
萍浏酸起义水陆洲筹备会议是研究清末新军革命化改造的重要节点,蒋翊武在会上选择承担 运动新军的任务.对此已有的研究还停留在简单的史实陈述上,尚未对蒋翊武选择运动新军的
在基于"推—拉"理论上建立"推力"、"拉力"和"中间障碍"三方共同形成的动力模型。深入分析了"互联网+"养老服务业对社会力量带来的市场推力、政策推力和投资推力,以及因信息化