Опишем один из возможных вариантов построения математической модели внутрикатегориального суффиксального словообразования существительных, имеющих, общее значение «носитель предметного признака». В качестве математического аппарата формального описания используется алгебра конечных предикатов