Статья в сборнике "Математические вопросы кибернетики" №16, Москва, 2007
Авторы:Буевич В.А., Подколзина М.А.
Критерий полноты S-множеств детерминированных функций
Аннотация:
В данной работе проблема полноты рассматривается в последовательностной функциональной системе, элементами которой являются детерминированные функции, определенные на словах длины τ, составленных из букв алфавита Ek ={0, 1, . . ., k−1}.
В предлагаемой работе рассматривается задача о полноте
так называемых S-множеств, состоящих только из S-функций — детерминированных функций, вычисляемых конечными автоматами, в каждом состоянии которых реализуется функция k-значной логики, принимающая все k значений.