讨论格值有限状态机强连通性、循环性、完全性以及交换性等一些代数性质，证明若两个格值有限状态机之间存在满足一定条件的同态映射......

肾细胞癌（renal cell carcinoma,RRC）占成人恶性肿瘤的2%~3%,在泌尿系统所有的肿瘤中是最致命的,根据相关流行病学资料,超过40%的肾......