Целью диссерационной работы является исследование и формализация закономерностей, лежащих в основе семантики номинативного словообразования, а также применение разработанных моделей для автоматизации обработки текстовой информации в автоматизированных информационных системах. В качестве специального математического аппарата используется алгебра конечных предикатов. Разработанные модели номинативной семантики деривационного уровня представляют собой систему уравнений алгебры конечных предикатов. При этом задачи анализа и синтеза, обнаружения и исправления ошибок, комбинированные задачи с неполным заданием признаков сводятся к решению одной и той же системы уравнений с различными исходными данными, что является основным отличием представленных моделей от известных. Модели реализованы на ЭВМ.