Теоретические основы вывода в типизированных "плекс-грамматиках"

Abstract

Обґрунтована необхідність використання спеціальних методів для опису мов, що подають графові структури даних (графових мов): UML, SYSML, VHDL, WWF та ін. Проаналізовані існуючі підходи для подання формальних моделей таких мов, їх переваги та недоліки. Запропоновано оригінальний підхід для формального опису підкласу графових мов (мов подання діаграм руху даних) на основі типізованих плекс-граматик. Розроблені алгоритми породження та розбору фраз, що належать таким мовам. Доведено перевагу використання отриманих результатів у порівнянні з відомими підходами.A need to use special methods to describe languages, that represent graph-alike data structures, such as UML, SYSML, VHDL, WWF is proved. We call them graph languages. Known approaches to represent formal models of such graph languages are investigated, their advantages and disadvantage are marked. A novel approach to represent formal models of subclass of graph languages (data-flow diagram language) is introduced. This approach is based on typified plex-grammars. Generative and recognizing algorithms for such class of languages are developed. Advantages of obtained results application (compared to classic approaches) are argued.