转移系统 HDA 模型的同调语言
形式语言与自动机理论
2022-08-05 v1 代数拓扑
摘要
给定一个带字母表标签上独立关系的转移系统，可将其关联一个通常非常巨大的对称高维自动机。本文旨在表明，通过选取一个对称闭包为给定独立关系的无环关系，可以构造一个小得多的非对称 HDA，且具有相同的同调语言。
引用
@article{arxiv.2208.02286,
title = {On the homology language of HDA models of transition systems},
author = {Thomas Kahl},
journal= {arXiv preprint arXiv:2208.02286},
year = {2022}
}
备注
17 pages