An Algebra of Hierarchical Graphs
An Algebra of Hierarchical Graphs
复制标题
分层图的代数
DOI：
10.1007/978-3-642-15640-3_14
复制
发表时间：
2010
期刊：
影响因子：
20.3
通讯作者：
Alberto Lluch
中科院分区：
文献类型：
--
作者：
R. Bruni;F. Gadducci;Alberto Lluch
我们定义了一个层次图的代数理论，其公理是图同构：当两个项表示同一个图时，它们完全相等。我们的代数可以被理解为一种高级语言，用于描述具有节点共享、嵌入结构的图形，并且它非常适合于定义软件模型的图形表示，其中嵌套和链接是关键方面。
We define an algebraic theory of hierarchical graphs, whose axioms characterise graph isomorphism: two terms are equated exactly when they represent the same graph. Our algebra can be understood as a high-level language for describing graphs with a node-sharing, embedding structure, and it is then well suited for defining graphical representations of software models where nesting and linking are key aspects.