Adequate models of semilattices, functions and automata on semilattices
Notions of the adequate models and its accuracy are defined for a finite semilattice, for functions and on semilattices, and for semilattice ordered algebra. The adeuate model of a semilattice cousests of the greatest elements in all the cosets of a congruence relation on the semilattice which defines the accuracy of the model. Properties of these notions are stadied. Methods for constructing adequate models of semilattices, functions and automata are given too.
Download file
Counter downloads: 200
Keywords
Authors
| Name | Organization | |
| Agibalov Gennadiy P. | Tomsk State University |
References
Агибалов Г.П., Бузанов В.А., Липский В.Б., Румянцев Б.Ф. Логическое проектирование переключательных автоматов. Томск: Изд-во Том. ун-та, 1983. 154 с.
Агибалов Г.П. Дискретные автоматы на полурешетках. Томск: Изд-во Том. ун-та, 1993.227 с.
Агибалов Г.П. Квазимоногонные функции и их минимизация // Кибернетика. 1989. №2. С. 111-113.
