摘要
本文提出了群完备和准完备的充要条件。同时,还较详尽地讨论了线性半群中的完备性问题。定出其所有的准完备类(即极大封闭集)
In many-valued logic theories, the decision of completeness of func-tion system is a basic and important problem, and thus it is also a pro-blem which must be solved in automata theory. The purpose of this paperis to give necessary and sufficient conditions for precomplete group inthe k-valued logic function set P_K and to determine all precompleteclasses in the linear semigroup.
出处
《湘潭大学自然科学学报》
CAS
CSCD
1989年第2期106-115,共10页
Natural Science Journal of Xiangtan University
关键词
群
线性半群
K值
逻辑函数
K-valued logic function set
Complete group
Linear semigroup
Precomplete group
