Наукова періодика України Радіоелектроніка, інформатика, управління


Литвин В. В. 
Застосування системи алгоритмічних алгебр для граматичного аналізу символьних обчислень виразів логіки висловлювань / В. В. Литвин, І. О. Бобик, В. А. Висоцька // Радіоелектроніка, інформатика, управління. - 2016. - № 4. - С. 77-89. - Режим доступу: http://nbuv.gov.ua/UJRN/riu_2016_4_12
Розроблено архітектуру та реалізовано програмну систему граматичного аналізу схем системи алгебричних алгебр та їх інтерпретації. Програмна система надає змогу автоматизовано генерувати програми за такими створеними схемами та їх відлагоджувати у відповідних схемах. Визначено чіткий розподіл системи алгебричних алгебр на окремі модулі, кожен з яких характеризуватиметься своїм функціональним навантаженням. Використано методи синтаксичного аналізу для розроблення та подання граматики таких схем. Реалізовано автоматичне їх перетворення в спискову форму. Розроблено машини системи алгебричних алгебр як абстрактний механізм інтерпретації граматики засобами синтаксичного аналізу. Словник V складається зі скінченної не порожньої множини лексичних одиниць. Вираз над V є ланцюжком скінченної довжини лексичних одиниць із V. Порожній ланцюжок, який не містить лексичних одиниць, позначимо через Л. Множина всіх лексичних одиниць над V позначимо V. Мова над V є підмножиною V. Мову задають через множину всіх лексичних одиниць мови або через означення критерію, якому повинні задовольняти лексичні одиниці, щоб належати мові. Ще є один важливий спосіб задати мову - через використання породжувальної граматики. Граматика складається з множини лексичних одиниць різного типу та множини правил або продукцій побудови виразу. Граматика має словник V, який є множиною лексичних одиниць для побудови виразів мови. Деякі лексичні одиниці словника (термінальні) не можуть замінятися іншими лексичними одиницями. Текст реалізує структурно надану діяльність, що передбачає суб'єкт і об'єкт, процес, мету, засоби і результат, які відображаються в змістово-структурних, функціональних, комунікативних показниках. Одиницями внутрішньої організації структури тексту є алфавіт, лексика (парадигматика), граматика (синтагматика), парадигми, парадигматичні відношення, синтагматичні відношення, правила ідентифікації, висловлювання, міжфразова єдність та фрагменти-блоки. На композиційному рівні виділяють речення, абзаци, параграфи, розділи, глави, підглави, сторінки тощо, які, крім речення, побічно пов'язані з внутрішньою структурою, тому не розглядаються. За допомогою бази даних (бази термінів/морфем і службових частин мови) та визначених правил аналізу тексту виконують пошук терміну. Синтаксичні аналізатори працюють в два етапи: ідентифікують змістовні лексеми та створюють дерево розбору.
  Повний текст PDF - 3.233 Mb    Зміст випуску     Цитування публікації

Цитованість авторів публікації:
  • Литвин В.
  • Бобик І.
  • Висоцька В.

  • Бібліографічний опис для цитування:

    Литвин В. В. Застосування системи алгоритмічних алгебр для граматичного аналізу символьних обчислень виразів логіки висловлювань / В. В. Литвин, І. О. Бобик, В. А. Висоцька // Радіоелектроніка, інформатика, управління. - 2016. - № 4. - С. 77-89. - Режим доступу: http://nbuv.gov.ua/UJRN/riu_2016_4_12.

    Додаткова інформація про автора(ів) публікації:
    (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)
  • Литвин Василь Володимирович (1976–) (фізико-математичні науки)
  • Литвин Вадим Вікторович (технічні науки)
  • Литвин Валерій Васильович (технічні науки)
  • Висоцька Вікторія Анатоліївна (технічні науки)
  •   Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
     
    Відділ інформаційно-комунікаційних технологій
    Пам`ятка користувача

    Всі права захищені © Національна бібліотека України імені В. І. Вернадського