ПОИСК Статьи Чертежи Таблицы Определение 4.1. Полугр5шпа Ш (0) называется конечно-порожденной множеством U {?i = | ?ii, ..., aj„||}, i — I, к, целочисленных неотрицательных векторов, если произвольный элемент fc = II ?1, ..., Ьп II 6 (0) может быть получен из элементов множества И конечным числом сложений: Ь = -Ь ... -}- пф , где щ, ... ..., щ — целые положительные числа. [Выходные данные]