Головная страница ИПМ Библиотеки, издания  •  Поиск публикаций  English 
Публикация

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