有限状态自动机即时确定化的分析
形式语言与自动机理论
2023-08-29 v1 计算与语言
摘要
本文中，我们利用转移幺半群建立有限状态自动机即时确定化的抽象，并展示其如何用于界定渐近性。我们给出足以使即时构造的确定自动机具有多项式状态复杂度的代数与组合性质。我们结论的一个特例是，具有许多非确定转移的自动机几乎总是允许多项式复杂度的确定化。此外，我们将思想推广至加权有限状态自动机。
引用
@article{arxiv.2308.14077,
title = {An Analysis of On-the-fly Determinization of Finite-state Automata},
author = {Ivan Baburin and Ryan Cotterell},
journal= {arXiv preprint arXiv:2308.14077},
year = {2023}
}