Литвин В.В. Застосування системи алгоритмічних алгебр для граматичного аналізу символьних обчислень виразів логіки висловлювань / В.В. Литвин, І.О. Бобик, В.А. Висоцька // Науковий журнал «Радіоелектроніка. Інформатика. Управління.». – № 4(39). – Запоріжжя: ЗНТУ. – 2016/4. – С. 54-67 – ISSN 1607-3274 (print), ISSN 2313-688X (on-line). – http://ric.zntu.edu.ua/ 

УДК 004.9

Литвин В. В.1, Бобик І. О.2, Висоцька В. А.3
1Д-р техн. наук, професор, завідувач кафедри «Інформаційні системи та мережі» Національного університету «Львівська політехніка», Львів, Україна
2Канд. физ.-мат. наук, доцент кафедри «Вищої математики» Національного університету «Львівська політехніка», Львів, Україна
3Канд. техн. наук, доцент кафедри «Інформаційні системи та мережі» Національного університету «Львівська політехніка», Львів, Україна

ЗАСТОСУВАННЯ СИСТЕМИ АЛГОРИТМІЧНИХ АЛГЕБР ДЛЯ ГРАМАТИЧНОГО АНАЛІЗУ СИМВОЛЬНИХ ОБЧИСЛЕНЬ ВИРАЗІВ ЛОГІКИ ВИСЛОВЛЮВАНЬ НОМЕНКЛАТУРА

Розроблено архітектуру та реалізовано програмну систему граматичного аналізу схем системи алгебраїчних алгебр та їх інтерпретації. Програмна система дає змогу автоматизовано генерувати програми за такими створеними схемами та їх відлагоджувати у відповідних схемах. Визначено чіткий розподіл системи алгебраїчних алгебр на окремі модулі, кожен з яких характеризуватиметься своїм функціональним навантаженням. Використано методи синтаксичного аналізу для розроблення та подання граматики таких схем. Реалізовано автоматичне їх перетворення в спискову форму. Розроблено машини системи алгебраїчних алгебр як абстрактний механізм інтерпретації граматики засобами синтаксичного аналізу. Словник V складається з скінченої не порожньої множини лексичних одиниць. Вираз над V є ланцюжком скінченої довжини лексичних одиниць із V. Порожній ланцюжок, який не містить лексичних одиниць, позначимо через Λ. Множина всіх лексичних одиниць над V позначимо V ′. Мова над V є підмножиною V′. Мову задають через множину всіх лексичних одиниць мови або через означення критерію, якому повинні задовольняти лексичні одиниці, щоб належати мові. Ще є один важливий спосіб задати мову – через використання породжувальної граматики. Граматика складається з множини лексичних одиниць різного типу та множини правил або продукцій побудови виразу. Граматика має словник V, який є множиною лексичних одиниць для побудови виразів мови. Деякі лексичні одиниці словника (термінальні) не можуть замінятися іншими лексичними одиницями. Текст реалізує структурно подану діяльність, що передбачає суб’єкт і об’єкт, процес, мету, засоби і результат, які відображаються в змістовно-структурних, функціональних, комунікативних показниках. Одиницями внутрішньої організації структури тексту є алфавіт, лексика (парадигматика), граматика (синтагматика), парадигми, парадигматичні відношення, синтагматичні відношення, правила ідентифікації, висловлювання, між фразова єдність та фрагменти-блоки. На композиційному рівні виділяють речення, абзаци, параграфи, розділи, глави, підглави, сторінки тощо, які, крім речення, побічно пов’язані з внутрішньою структурою, тому не розглядаються. За допомогою бази даних (бази термінів/морфем і службових частин мови) та визначених правил аналізу тексту виконують пошук терміну. Синтаксичні аналізатори працюють в два етапи: ідентифікують змістовні лексеми та створюють дерево розбору.

Ключові слова: текст, україномовний, алгоритм, контент-моніторінг, ключові слова, лінгвістичний аналіз, синтаксичний аналіз, породжувальні граматики, структурна схема речення, інформаційна лінгвістична система.

(Для ознайомлення з повним текстом статті необхідно залогінитись)