舆论摘要:几类格值自效果的联系及其谈话的代数本质
取值于格半群的自效果比其它情势朦胧自效果能接收更为普遍的情势谈话与朦胧谈话.所以,对取值于格半群的自效果极及其谈话本质的接洽是格值自效果表面的一个要害课题,而对各别典型格值自效果之间的联系及其谈话代数本质的接洽更是个中一个要害上面. 正文的工作东假如在文件[1,2,3,4]的普通上去接洽几类罕见的取值于格半群上的自效果之间的联系合格值正则谈话的代数本质. 取值于格半群的自效果按其变化因变量能否为决定的A=(Q,Σ,δ,σ_0,σ_1)按其变化因变量δ能否为决定的可分为两大类:决定型格值自效果(简记为DLA)和非决定型格值自效果(即格值自效果,简记为LA).再按照初始状况σ_0和接收状况σ_1能否为朦胧的,决定型格值自效果可分为二类:DLAl,DLA_2,DLA_3;格值自效果可分为四类:LAl,LA2,LA3,LA4.文件[1]中仍旧证领会二类决定型格值自效果是等价的;确.定型格值自效果和非决定型格值自效果是不等价的,并给出了二者等价的充溢需要前提.正文则实足决定了四类非决定型格值自效果之间的联系:LAl,LA2,LA3是等价的,LA4与前二类格值自效果不等价. 格值自效果所接收的谈话叫格值正则谈话,决定型格值自效果所接收的谈话叫决定型格值正则谈话.在计划领会各类格值自效果之间的联系之后,正文的下一个要害实质即是要计划格值正则谈话的代数本质.罕见的给出谈话的办法有三种: (1)经过自效果给出, (2)经过正则表白式给出, (3)经过文法给出. 正文开始给出了决定型格值正则谈话和格值正则谈话的代数设置,并证领会.其代数设置与其各自以保守办法给出的设置是等价的.在此普通上,计划了格值正则谈话及决定型格值正则谈话在少许要害的代数演算下的封锁性与不封锁性题目.那些代数演算囊括格值正则代换,决定型格值正则代换,单元格值正则代换,格值朦胧同态合格值朦胧逆同态,同态及逆同态.对于决定型格值正则谈话,咱们获得了少许很好的代数本质;而对于格值正则谈话,当其真值集L的乘法满意调换律的功夫,咱们也获得了少许很好的代数本质,但当L的乘法不满意调换律的功夫,只给出了格值正则谈话不封锁性的一个估计.