摘要
首先在格值逻辑框架下引入格值自动机的概念,并提出可逆映射的概念,从而诱导出格值可逆自动机的概念;其次研究了格值可逆自动机的代数性质,同时给出保证该代数性质成立的充分必要条件.
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.
出处
《价值工程》
2011年第23期156-157,共2页
Value Engineering
基金
榆林学院青年基金资助项目(10YK31)
关键词
格值逻辑
格值自动机
格值可逆自动机
代数性质
lattice-valued logic
lattice-valued automata
lattice-valued reversible automaton
algebraic property
