Теоретические основы вывода в типизированных "плекс-грамматиках"
Вантажиться...
Дата
2006
Автори
ORCID
DOI
Науковий ступінь
Рівень дисертації
Шифр та назва спеціальності
Рада захисту
Установа захисту
Науковий керівник
Члени комітету
Видавець
НТУ "ХПИ"
Анотація
Обґрунтована необхідність використання спеціальних методів для опису мов, що подають графові
структури даних (графових мов): 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.
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.
Опис
Ключові слова
языки, символы, алфавит, формальная грамматика, графовые структуры, диаграммы
Бібліографічний опис
Дюбко Г. Ф. Теоретические основы вывода в типизированных "плекс-грамматиках" / Г. Ф. Дюбко, Е. Л. Лещинская // Вестник Нац. техн. ун-та "ХПИ" : сб. науч. тр. Темат. вып. : Информатика и моделирование. – Харьков : НТУ "ХПИ". – 2006. – № 40. – С. 70-83.