A multiple valued cover-most algorithm based on the extended Allen-Givone algebra system

Abstract

On the basis of discussing the extended AllemGivone iniplementation oriented algebra this paper selects a suitable data structure, presents the definition of generalized OR-combined operation of MVL and uses it for solving EPI set rapidly. In order to speed up the process for solving a cover, the grou-ping subsume simplification of tw-valued sharp product is extended onto position cubical arrays of MVL. By the A operator the iniplementation cost is further lowered after forming a cover. The algorithm is an extension of the tw-valued cover-most algorithm proposed by M. C.Waters.