【摘要】 首先在格值逻辑框架下引入格值自动机的概念,并提出可逆映射的概念,从而诱导出格值可逆自动机的概念;其次研究了格值可逆自动机的代数性质,同时给出保证该代数性质成立的充分必要条件.更多还原

【Abstract】 Firstly,the notion lattice-valued automaton is introduced in the frame of lattice-valued logic,and the concept of reversible mapping is given,which induced the notion of lattice-valued reversible automaton at the same time;Secondly,the author establish the algebraic properties of lattice-valued reversible automata,and present the necessary and sufficient condition that guarantee these algebraic properties hold in the mean time.更多还原