Четвериков Г.Г. Формальні моделі та методи синтезу швидкодіючих багатозначних структур мовних систем. -Рукопис. Дисертація на здобуття наукового ступеня доктора технічних наук за спеціальністю 05.13.23 - системи та засоби штучного інтелекту. - Харківський національний університет радіоелектроніки, Харків, 2005. Дисертація присвячена розробці адекватного алгсбро-логічного та системотехнічного інструментарію об'єктивації мовних явищ на підставі їх формалізації та відповідної апробації. Розроблено теоретичні засади побудови просторових оборотних багатозначних елементів, модулів та структур. Отримано подальший розвиток та модифіковано методи побудови багатозначних оборотних неоднорідних логічних елементів та модулів (ЛСП-структур першого та другого роду) для мовних систем штучного інтелекту з оборотними властивостями. Дослідження апаратних засобів реалізації отриманих моделей мови та методів синтезу АСП-структур дозволили визначити раціональні шляхи їх створення, а також сформулювати критерії вибору АСП-структур для реалізації відношень, що складають основу дії мовних систем. Проведено аналіз специфіки процесу розпаралелювання процедури розв'язання систем лінгвістичних рівнянь шляхом програмного моделювання запропонованих алгоритмів для досягнення граничної структурної швидкодії при їхній апраратній реалізації. Створено новий клас моделей у вигляді АСП-структур на базі декомпозиції k-значних структур на дискретно-аналогові та цифрові субблоки, що дозволяє на одному й тому пристрою реалізувати аналіз, нормалізацію та синтез задач морфології української мови. Ключові слова: природна мова, скінченний предикат, алгебра скінченних предикатів, система лінгвістичних рівнянь, багатозначні оборотні неоднорідні логічні елементи, АСП-структури.