В настоящей работе изложен алгебраический поход к построению алгоритма решения системы линейных неравенств (СЛН). Отметим, что многосортные (точнее, упо-рядоченосортные) алгебраические системы широко используются в качестве теоретической модели алгебраических вычислений [1,2]. Эта модель реализована, например, в языках логико-алгебраических спецификаций серии Obj [3,4], Eqlog [5].
展开▼