格值可逆自动机的代数性质  

Algebraic Properties of Lattice-valued Reversible Automata

作　　者：宋小震[1] 

机构地区：[1]榆林学院,榆林719000

出　　处：《价值工程》2011年第23期156-157,共2页Value Engineering

基　　金：榆林学院青年基金资助项目(10YK31)

摘　　要：首先在格值逻辑框架下引入格值自动机的概念,并提出可逆映射的概念,从而诱导出格值可逆自动机的概念;其次研究了格值可逆自动机的代数性质,同时给出保证该代数性质成立的充分必要条件.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.

关 键 词：格值逻辑 格值自动机 格值可逆自动机 代数性质 

分 类 号：TP301.1[自动化与计算机技术—计算机系统结构] O153.1[自动化与计算机技术—计算机科学与技术]