论文标题
关于过渡系统HDA模型的同源语言
On the homology language of HDA models of transition systems
论文作者
论文摘要
给定标签字母上具有独立关系的过渡系统，可以将其与通常非常大的对称高维自动机相关联。本文的目的是表明，通过选择一个无环的关系，其对称封闭是给定的独立关系，可以使用相同的同源性语言构建一个较小的非对称HDA。
Given a transition system with an independence relation on the alphabet of labels, one can associate with it a usually very large symmetric higher-dimensional automaton. The purpose of this paper is to show that by choosing an acyclic relation whose symmetric closure is the given independence relation, it is possible to construct a much smaller nonsymmetric HDA with the same homology language.
