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