Вісник № 40

Переглянути

Зараз показуємо 1 - 1 з 1

Теоретические основы вывода в типизированных "плекс-грамматиках"
(НТУ "ХПИ", 2006) Дюбко, Г. Ф.; Лещинская, Е. Л.
Обґрунтована необхідність використання спеціальних методів для опису мов, що подають графові структури даних (графових мов): UML, SYSML, VHDL, WWF та ін. Проаналізовані існуючі підходи для подання формальних моделей таких мов, їх переваги та недоліки. Запропоновано оригінальний підхід для формального опису підкласу графових мов (мов подання діаграм руху даних) на основі типізованих плекс-граматик. Розроблені алгоритми породження та розбору фраз, що належать таким мовам. Доведено перевагу використання отриманих результатів у порівнянні з відомими підходами.