高维自动机的弱等价
计算机科学中的逻辑
2023-06-22 v3 形式语言与自动机理论
代数拓扑
摘要
本文引入高维自动机的一种等价概念，称为弱等价。弱等价主要关注传统迹语言与一种新的同调语言，后者捕捉HDA的整体独立性结构。我们证明弱等价与HDA的张量积和余积均相容，并且在特定条件下，HDA可通过合并与坍缩立方体归约为弱等价的更小者。
引用
@article{arxiv.1910.12787,
title = {Weak equivalence of higher-dimensional automata},
author = {Thomas Kahl},
journal= {arXiv preprint arXiv:1910.12787},
year = {2023}
}