定时与概率自动机的迹表达性
计算机科学中的逻辑
2019-03-19 v2
摘要
自动机的表达性是理解应选择何种可用形式化方法对特定问题建模的重要特征。概率和随机自动机适用于建模表现概率行为的系统，且其表达性已相对于非概率转移系统和马尔可夫链被研究。在本文中，我们考虑定时、概率和随机定时自动机的先前形式化方法，提出我们的具有多项式延迟的定时自动机新模型，引入一种称为迹表达性的自动机表达性度量，并在该新度量下刻画这些模型相互之间的表达性。
引用
@article{arxiv.1703.08956,
title = {Trace Expressiveness of Timed and Probabilistic Automata},
author = {Valentin Bura and Tim French and Mark Reynolds},
journal= {arXiv preprint arXiv:1703.08956},
year = {2019}
}
备注
possibly incorrect, or unsubstantiated results and claims