Büchi 自动机确定的新优化与启发式方法
形式语言与自动机理论
2020-04-30 v1
摘要
本工作中，我们提出多种用于 Büchi 自动机确定的新优化与启发式方法，其利用了若干语义与结构性质，多数可与任意确定化过程一同应用。我们构建了一个原型实现，其中所有提出的启发式方法可自由组合并进行了评估，在具有不同特征的多个数据集上将我们的实现与前沿工具 spot 比较。结果显示所提优化与启发式方法在某些情况下可显著减小所得确定自动机的规模。
引用
@article{arxiv.1911.01759,
title = {New Optimizations and Heuristics for Determinization of B\"uchi Automata},
author = {Christof Löding and Anton Pirogov},
journal= {arXiv preprint arXiv:1911.01759},
year = {2020}
}