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