Efficient removal of spontaneous transitions in Vcsn
- Antoine Pietri
This report exposes some performant and generic ways to implement removal of spontaneous transitions in an -NFA. We compare two different approches: the weighted -closure algorithm of J. Sakarovitch and S. Lombardy, and the -removal algorithm of M. Mohri. We discuss how these algorithm can be implemented when dealing with generic weighted automata, and their implications on performance by comparing some empirical results obtained in Vcsn.