中央民族大学学报(自然科学版)
中央民族大學學報(自然科學版)
중앙민족대학학보(자연과학판)
JOURNAL OF THE CENTRAL UNIVERSITY FOR NATIONALITIES (NATURAL SCIENCES EDITION)
2007年
4期
304-309
,共6页
曹学磊%何伟%樊磊%庞智恒
曹學磊%何偉%樊磊%龐智恆
조학뢰%하위%번뢰%방지항
余代数%标记迁移系统%不变量%弱不变量
餘代數%標記遷移繫統%不變量%弱不變量
여대수%표기천이계통%불변량%약불변량
余代数上的不变量在理论计算机科学中占有十分重要的地位,本文借助文献[1]的思想建立弱不变量的定义,讨论了弱不变量的性质以及与不变量的关系;其次,定义标记迁移系统的弱不变量并证明这两种定义是等价的.
餘代數上的不變量在理論計算機科學中佔有十分重要的地位,本文藉助文獻[1]的思想建立弱不變量的定義,討論瞭弱不變量的性質以及與不變量的關繫;其次,定義標記遷移繫統的弱不變量併證明這兩種定義是等價的.
여대수상적불변량재이론계산궤과학중점유십분중요적지위,본문차조문헌[1]적사상건립약불변량적정의,토론료약불변량적성질이급여불변량적관계;기차,정의표기천이계통적약불변량병증명저량충정의시등개적.