Efficient removal of spontaneous transitions in Vcsn
From LRDE
- Authors
- Antoine Pietri
- Type
- techreport
- Year
- 2015
- Number
- 1504
Abstract
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.