资源描述:
《基于量子逻辑的自动机理论的拓扑性质 郭秀红基于量子逻辑的自动》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库。
1、ISSN1000-9825,CODENRUXUEWE-mail:jos@iscas.ac.cnJournalofSoftware,Vol.18,No.6,June2007,pp.1282−1286http://www.jos.org.cnDOI:10.1360/jos181282Tel/Fax:+86-10-62562563©2007byJournalofSoftware.Allrightsreserved.∗基于量子逻辑的自动机理论的拓扑性质郭秀红(四川师范大学数学与软件科学学院,四川成都61
2、0066)TopologicalCharacterizationsofAutomataTheoryBasedonQuantumLogicGUOXiu-Hong(CollegeofMathematicsandSoftwareScience,SichuanNormalUniversity,Chengdu610066,China)+Correspondingauthor:Phn:+86-28-84761502,Fax:+86-28-84762620,E-mail:hmxiuxiu@tom.com,ht
3、tp://www.sicnu.edu.cnGuoXH.Topologicalcharacterizationsofautomatatheorybasedonquantumlogic.JournalofSoftware,2007,18(6):1282−1286.http://www.jos.org.cn/1000-9825/18/1282.htmAbstract:Inthispaper,sometopologicalcharacterizationsofautomatatheorybasedonq
4、uantumlogic(abbr.l-valuedautomatatheory)arediscussed.First,l-valuedsuccessorandsourceoperatorsareredefinedandtheequivalencesofl-valuedsuccessoroperators,sourceoperatorsandl-valuedsubautomataaredemonstrated.Afterwards,sometopologicalcharacterizationsi
5、ntermsofthel-valuedsuccessor.sourceoperatorsandl-valuedsubautomataaredescribed,andthensomefundamentalpropertiesofl-valuedsuccessoroperators,sourceoperatorsandl-valuedsubautomataarecharacterized.Particularly,whenthemultiplication(&)isdistributiveovert
6、heunioninthetruth-valuelattices,someofthespecialpropertiesofl-valuedsuccessoroperators,sourceoperatorsandl-valuedsubautomataareverified.Soaweakerlimitationtoformatopologyisobtained.Finally,itisshownthatthel-valuedtopologiesintermsofthel-valuedsuccess
7、or,sourceoperatorsandl-valuedsubautomataareequivalent.Keywords:quantumlogic;automata;successoroperator;sourceoperator;subautomata;topology摘要:研究了基于量子逻辑的自动机理论(简称l-值自动机理论)的拓扑性质.给出了successor算子和source算子的另一种定义,讨论了successor算子、source算子和l-值子自动机之间的关系,得到了succes
8、sor算子、source算子和l-值子自动机的某种等价性.进一步描述了由successor算子、source算子和l-值子自动机来构造拓扑.得出了successor算子、source算子和l-值子自动机的一些基本性质,证明了在&关于∨分配时,successor算子、source算子以及l-值子自动机的某些特殊性质.因而得到了由它们构造拓扑的一个较弱的条件,并且澄清了三者构造拓扑时的等价性.关键词:量子逻辑;自动机;successor算子;source算子;子自动机;拓扑中图法分类号:TP301文