Random rational expression generation

Authors

Lucien Boillod

Type

techreport

Year

2016

Number

1604

Abstract

In this report, we present the implementation of an efficient and generic algorithm to generate random weighted rational expressions, including multitape rational expressions. It support any operators, labels and weights present in Vcsn. This tool allows a better coverage for the tests. We also present a way to generate random paths on weighted automata.