免费论文摘要：格值朦胧正则谈话的分级与可判决性

动作自效果辨别的谈话, 正则谈话已运用于计划机步调谈话编写翻译的词法领会、电门通路安排等上面, 而且在情势谈话中有着要害的本质. 从20世纪60岁月此后, 朦胧自效果及其接收的谈话获得了深刻的接洽. 常常的朦胧自效果, 即取值在[0,1]单元区间的自效果, 只能从档次构造的看法辨别所接收的谈话, 为了克复这个题目, 李永明将定义域扩充到普遍的格构造上, 提出了格值自效果, 所以有需要接洽格值朦胧正则谈话的本质.对于取值在[0,1]区间上的朦胧正则谈话, 决定的与非决定的是等价的, 而对于格值正则谈话, 这个论断偶然创造. Klimann^{[24]}等人 仍旧接洽了各别品种加权自效果接收谈话在tropical半环下的分级联系,  在此咱们计划各别种格值朦胧正则谈话的分级及可判决性等题目.正文的重要处事如次:1. 开始对格值朦胧自效果分门别类, 将其分为决定的、序列的、无歧异的、有限歧异的以及无穷歧异的. 其次, 商量了限制有限格序幺半群L对格值朦胧正则谈话等价性的感化, 证领会L非限制有时艰正则谈话间生存真包括联系, 并给出了几类格值朦胧正则谈话等价的充溢前提.  更加地, 计划了当L中的演算取阿基米德t-模时, 格值朦胧正则谈话的本质.2. 接洽了格值朦胧正则谈话的可判决性题目. 开始, 给出了格值朦胧正则谈话十分(Eq)、不等(Ineq)、限制不等(LocalIneq)和限制十分(LocalEq)这几个待接洽的可判决性题目. 其次, 证领会格值朦胧正则谈话的可判决性题目与格序幺半群的构造相关, 即: 若L限制有限, 上述几类题目是可判决的, 若L非限制有限, 上述题目是不行判决的. 结果商量了有穷自效果的有穷领会, 证领会大肆的Boolen型矩阵都不妨领会为余共合矩阵与共合矩阵的复合, 并按照这一本质对共轭的自效果举行领会.

来源：半壳优胜育转载请保留出处和链接！

本文链接：http://87cpy.com/216980.html