Стандартные формы мультиопераций в суперклонах
| Авторы: | Н. А. Перязев |
| Аннотация: | В статье изучаются стандартные формы представления мультиопераций, в частности определяется ключевая стандартная форма мультиопераций и представлен алгоритм нахождения ее в суперклонах. |
| Ключевые слова: | мультиоперация, стандартная форма, алгоритм, пересечение, суперклон |
| УДК: | 519.7 |
| Литература: |
1. Бондарчук В. Г. Теория Галуа для алгебр Поста / В. Г. Бондарчук, Л. А. Калужнин, В. Н. Котов, Б. А. Ромов // Кибернетика. – 1969. – № 3. – С. 1–10; № 5. – С. 1–9. 2. Мальцев А. И. Итеративные алгебры Поста / А. И. Мальцев. – Новосибирск: Новосибирский государственный университет, 1976. – 100 с. 3. Перязев Н.А. Клоны, ко-клоны, гиперклоны и суперклоны / Н. А. Перязев // Уч. зап. Казан. гос. ун-та. Сер.: Физико-математические науки. – 2009. – Т. 151, кн. 2. – С. 120–125. 4. Перязев Н.А. Супеклоны мультиопераций /Н. А. Перязев // Дискретные системы в теории управляющих систем : тр. VIII междунар. конф. – М. : МАИС Пресс, 2009. – С.233–238. 5. Перязев Н. А. Минимизация мультиопераций в классе стандартных форм / Н. А. Перязев, И. А. Яковчук // Изв. Иркут. гос. ун-та. Сер.: Математика. – 2009. – T. 2, № 2. – С. 117–126. 6. Яблонский С.В., Функциональные построения в k-значной логике / С. В. Яблонский // Тр. мат. ин-та АН СССР им. В.А. Стеклова. – 1958. – Т. 51. – С. 5–142. 7. Lau D. Function Algebras on Finite Sets / D. Lau. – Springer-Verlag Berlin YeideWater Resourses Research. – 2006. – 668 p. 8. Romov B.A. The completeness problem in partial hyperclones / B. A. Romov // Discrete Mathematics. – 2006. – Vol. 306. – P. 1405–1414. |