单独监控的代价
计算机科学中的逻辑
2019-02-15 v1 形式语言与自动机理论
摘要
我们比较了用于无限迹性质监控的两种监控系统（即并行监控器与正则监控器）的简洁性。尽管并行监控器可转化为等价的正则监控器，该变换的代价是监控器语法规模上的双指数膨胀，而当目标是确定性监控器时则为三指数膨胀。我们证明这些界是紧的，并且它们也适用于无限迹上带递归的Hennessy-Milner逻辑相应片段之间的翻译。
引用
@article{arxiv.1902.05152,
title = {The Cost of Monitoring Alone},
author = {Luca Aceto and Antonis Achilleos and Adrian Francalanza and Anna Ingólfsdóttir and Karoliina Lehtinen},
journal= {arXiv preprint arXiv:1902.05152},
year = {2019}
}
备注
22 pages