| Номер документа в системі: | 328515 |
| Автор: | Литвин В. В., Бобик І. О., Висоцька В. А. |
| Назва документа: | Застосування системи алгоритмічних алгебр для граматичного аналізу символьних обчислень виразів логіки висловлювань |
| УДК | 004.9+512 |
| Мова документу | Українська |
| Аннотація | Розроблено архітектуру та реалізовано програмну систему граматичного аналізу схем системи алгебраїчних алгебр та їх інтерпретації. Програмна система дає змогу автоматизовано генерувати програми за такими створеними схемами та їх відлагоджувати у відповідних схемах. Визначено чіткий розподіл системи алгебраїчних алгебр на окремі модулі, кожен з яких характеризуватиметься своїм функціональним навантаженням. Використано методи синтаксичного аналізу для розроблення та подання граматики таких схем. Реалізовано автоматичне їх перетворення в спискову форму. Розроблено машини системи алгебраїчних алгебр як абстрактний механізм інтерпретації граматики засобами синтаксичного аналізу. Словник V складається з скінченої не порожньої множини лексичних одиниць. Вираз над V є ланцюжком скінченої довжини лексичних одиниць із V. Порожній ланцюжок, який не містить лексичних одиниць, позначимо через . Множина всіх лексичних одиниць над V позначимо V?. Мова над V є підмножиною V?. Мову задають через множину всіх лексични |
| Кількість сторінок | С. 77-89. |