符号有限状态自动机复杂性研究
形式语言与自动机理论
2021-07-05 v3 机器学习
摘要
我们重新审视 SFA（符号有限状态自动机）上各类过程（如交集、空性等）的复杂性，并根据我们认为适用于符号自动机的度量进行分析：状态数、退出某一状态的最大转移数，以及最复杂转移谓词的大小。我们关注 SFA 的特殊形式：规范化 SFA 与整洁 SFA，以及定义在单调有效布尔代数上的 SFA。
引用
@article{arxiv.2011.05389,
title = {On the Complexity of Symbolic Finite-State Automata},
author = {Dana Fisman and Hadar Frenkel and Sandra Zilles},
journal= {arXiv preprint arXiv:2011.05389},
year = {2021}
}