Complete Consistent Stable Fuzzy Predicate Transformers
Yixiang Chen · Mohu xitong yu shuxue · 2009
Predicate transformer semantics uses verification technology to specify programming languages.In order to discuss the semantics of programming,the authors present the notion of complete consistent stable fuzzy predicate transformers on the base of stable fuzzy predicate,and discuss the topology semantic of complete consistent stable fuzzy predicate transformers.At the same time,the authors show a relation between the complete consistent stable fuzzy predicate transformers and the state transformers,which means that complete consistent stable fuzzy predicate transformers is a state transformers.