陕西师范大学学报(自然科学版)
陝西師範大學學報(自然科學版)
협서사범대학학보(자연과학판)
JOURNAL OF SHAANXI NORMAL UNIVERSITY
2004年
2期
5-9
,共5页
修正的Kleene系统%正则R0-代数%α-重言式%广义重言式
脩正的Kleene繫統%正則R0-代數%α-重言式%廣義重言式
수정적Kleene계통%정칙R0-대수%α-중언식%엄의중언식
引入了(W-)的正则子R0代数的概念,证明了这种代数在W中关于势是均匀分布的.又证明了当判定一个逻辑公式是否为W中的α-重言式时,可以用(W-)的任一正则R0-代数去替代W作判断,特别是可以用具有简单结构的正则子R0-代数W0去作判断,这里W0仅有一个聚点0.5,并且在一定意义下是"收缩不变"的.
引入瞭(W-)的正則子R0代數的概唸,證明瞭這種代數在W中關于勢是均勻分佈的.又證明瞭噹判定一箇邏輯公式是否為W中的α-重言式時,可以用(W-)的任一正則R0-代數去替代W作判斷,特彆是可以用具有簡單結構的正則子R0-代數W0去作判斷,這裏W0僅有一箇聚點0.5,併且在一定意義下是"收縮不變"的.
인입료(W-)적정칙자R0대수적개념,증명료저충대수재W중관우세시균균분포적.우증명료당판정일개라집공식시부위W중적α-중언식시,가이용(W-)적임일정칙R0-대수거체대W작판단,특별시가이용구유간단결구적정칙자R0-대수W0거작판단,저리W0부유일개취점0.5,병차재일정의의하시"수축불변"적.
