Quotient of weighted automata and rational series

From LRDE

(Redirected from Publications/201605-Seminar-Michaud)

Abstract

In this report, we show how the quotient operator has been implemented in Vcsn, a generic and perfomant automata manipulation library. After defining the left and right quotient over rational series, we explain the algorithm implemented in Vcsn to compute the quotient of two automata. We then explore the consequences of introducing the operator on the expression-side of the library, and particularly on expansions.