Аннотация:
В данной работе рассмотрены язык иерархических типизированных диаграмм (the Hierarchical Typified Diagrams Language, HTD-язык), предназначенный для графического описания иерархических систем управления, грамматика для выражений этого языка, показано существование эффективных алгоритмов перевода HTD-диаграмм в алгебраические выражения и обратно.
Ключевые слова:упорядоченное множество рациональных чисел, грамматики, автоматные структуры.
УДК:519.710.3
Поступила в редакцию: 10.01.2011 Исправленный вариант: 20.03.2011