高维自动机的同调图
代数拓扑
2013-07-31 v1 形式语言与自动机理论
摘要
高维自动机（即带标号的预立方体集）用于建模并发系统。我们引入了高维自动机 (HDA) 的同调图，这是一个节点为 HDA 同调类的有向图。我们证明了同调图在同胚抽象下是不变的，即在作为同胚的弱态射下是不变的。
引用
@article{arxiv.1307.7994,
title = {The homology graph of a higher dimensional automaton},
author = {Thomas Kahl},
journal= {arXiv preprint arXiv:1307.7994},
year = {2013}
}
备注
The preliminaries section is taken from arXiv:1303.2003v1