整数集上的同步序
形式语言与自动机理论
2023-10-06 v2
摘要
自由独异点上的二元关系若能被同步自动机同时读取其两个带而识别，则称其为同步的。我们考虑自由独异点由单个元素生成的情形（这使其同构于整数的加法独异点），且所识别的二元关系为严格序。我们的主要结果为：给定这样的自动机，可以判断其是否具有无穷链或反链；我们刻画了线性序；给定两个线性同步序，我们展示了如何判断它们是否等价。
引用
@article{arxiv.2309.09566,
title = {Synchronous orders on the set of integers},
author = {Christian Choffrut},
journal= {arXiv preprint arXiv:2309.09566},
year = {2023}
}