基于量子逻辑自动机理论研究.pdfVIP

基于量子逻辑的自动机理论研究 ● 基础数学专业 ▲ 研究生郭秀红 指导教师莫智文 、 本文主要讨论了由，一值自动机(或称为基于量子逻辑的自动机)构造的 格的一些性质，研究了初始格，与由，一值自动机构造的格之间的关系，并且进 一步讨论了基于量子逻辑的自动机理论的一些拓扑性质。 首先，给出了由，一值自动机构造的格上同态，子格，理想和嵌入映射的 定义，并且研究了同态，子格，理想的性质，同时讨论了子格，理想与同态之 间的关系，得出了由I『一值自动机构造的格的一些性质。 其次，给出了由|『一值自动机构造的格上同构的定义，建立了原始格，的 同构和由，一值自动机构造的格同构的等价性。同时由格同构来作格的一种分 类，进一步得出了原始格，的分类和由，一值自动机构造的格的分类的等价性。 由，一值successor算子，source算子和，一值子自动机构造拓扑。 关键词：量子逻辑；量子自动机；量子自动机的格；格的同态；格的同构； 分类；，一值successor算子；，一值source算子；子自动机；拓扑。 II AutomataBasedon on Theory Quantum Study Logic BasicMathematics Major Guo MoZhiwen XiuhongSupervisor Postgraduate Inthis thelatticeformedZ—valued paper,wemainlystudy by automata(also on relationsbetween calledautomatabased theory quantumlogic)．The original lattice，andlatticeformed automataare by，一valued of basedon discusssomeofthe automata topologicalproperties theory quantum logic． of and in conceptionshomomorphism，sublattice，idealembedding Firstly,the aledefinedandsomeofthe of latticesformedbvZ-valuedautomata