KIAM Main page Web Library  •  Publication Searh  Русский 
Publication

Article collection "Mathematical Problems of Cybernetics" №16, Moscow, 2007
Authors: Buevich V.A., Podkolzina M.A.
A completeness criterion of S-sets of deterministic functions
Abstract:
The present paper considers functional completeness in a sequential functional system whose elements are deterministic funtions defined on words of length τ in the alphabet Ek ={0, 1, . . ., k−1}. The paper considers the problem of completeness for so-called S-sets, containing only S-functions, i.e. deterministic functions computed by finite automata, every state of which realizes a k-valued logic function taking all k values.
Keywords:
Functional completeness, deterministic functions, S-sets, k-valued logic
Publication language: russian, pages: 48 (p. 191-238)
Research direction:
Mathematical problems and theory of numerical methods
Source text: