《A Menagerie of Timed Automata》勘误
形式语言与自动机理论
2025-08-08 v1
摘要
本文修正了标题所指 ACM Computing Surveys 论文中的一个技术错误。该缺陷涉及证明具有紧迫位置的时序自动机与允许假位置不变量的时序自动机具有相同表达能力的构造。本文给出了修正后的构造，并重新证明了受影响的结果。
引用
@article{arxiv.1602.07165,
title = {Corrections to A Menagerie of Timed Automata},
author = {Jeroen J. A. Keiren and Peter Fontana and Rance Cleaveland},
journal= {arXiv preprint arXiv:1602.07165},
year = {2025}
}
备注
9 pages, corrects a technical error in the ACM Computing Surveys paper mentioned in the title, that can be found at http://dx.doi.org/10.1145/2518102