Quotient of weighted automata and rational series

Authors

Thibaud Michaud

Type

techreport

Year

2016

Number

1603

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.