У дисертаційній роботі приведені результати, що відповідно до поставленої цілі є рішенням актуальної задачі перетворення словесних описів алгоритмів керування технологічними процесами у систему булевих формул. Для її рішення був використаний метод моделювання (модель «текст смисл»). Отримано алгоритм і його програмну реалізацію, що дає можливість кінцевому користувачу формалізувати словесні описи. Як результати дослідження пропонуються наступні висновки: 1. Відповідно до поставленої цілі дослідження модифікована існуюча лінгвістична модель «текс « смисл», що дало можливість зв'язати природно -мовний і аналітичний методи уявлення технічної інформації. 2. Як предметну область розглянуто словесні описи алгоритмів керування технологічними процесами у формі виявлення причинно-наслідкових зв'язків. 3. Проаналізовано існуючі засоби формалізації. Встановлено, що найбільш придатним для реалізації модифікованої моделі є мова умовних секвенцій ( як підмножина класу продукційних мов). 4. Запропоновано 4 правила перетворення секвенціального опису у систему булевих формул. 5. Проведено аналіз і запропоновано метод оптимізації на рівні секвенціального опису, для чого розглянуті і доведені 10 тверджень про еквівалентність. 6. Розроблено метод автоматичного визначення типу елемента пам'яті за його секвенціальним описом. 7. Розроблена двоетапна процедура верифікації, що дозволяє верифікувати як вихідний секвенціальний опис, так і отриманий результат - систему булевих формул. 8. Розроблено програмне забезпечення, що дозволяє кінцевому користувачу вирішити на ПЕОМ задачу перетворення словесних описів алгоритмів керування технологічними процесами у систему булевих формул, тобто одержувати «смисл» або «істину» у вигляді булевих формул із «тексту». Крім цього, запропонований підхід показує перспективність переходу від природно-мовного методу уявлення технічної інформації до аналітичного, що дає можливість не тільки одержувати конкретні результати, але і проводити подальші дослідження у цьому напрямку. | 