利用网展开计算摘要
计算机科学中的逻辑
2013-10-09 v1 形式语言与自动机理论
摘要
我们研究如下摘要问题：给定标记转移系统的并行组合 A=A1||...||An，其通过一个特定组件 Ai 与环境通信，需高效计算一个摘要 Si，使得对于任意环境 E，E||A 与 E||Si 是迹等价的。虽然可以使用初等自动机理论计算 Si，但所得算法会遭受状态爆炸问题。我们提出了一种基于网展开（一种偏序语义）的新颖、简单但精妙的算法，给出了基于 MOLE 实现的实验结果，并表明我们的算法只需稍作修改即可处理发散并计算加权摘要。
引用
@article{arxiv.1310.2143,
title = {Computation of Summaries Using Net Unfoldings},
author = {Javier Esparza and Loïg Jezequel and Stefan Schwoon},
journal= {arXiv preprint arXiv:1310.2143},
year = {2013}
}
备注
Extended version of our FSTTCS 2013 paper