Implementing rational semiring
From LRDE
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
- Authors
- David Moreira
- Type
- techreport
- Year
- 2011
- Number
- 1107
- Projects
- Vaucanson
- Keywords
- Vaucanson, Kind, Lal, Laa, Semiring, Rational NumberFloating point arithemetic
Abstract
Vaucanson is a finite state machine manipulation platform for automata and transducers. Usage highlighted the overly complex interface for the automaton manipulation. For the past two years, active development has been undertaken to introduce the concept of automaton kind. Today, a part of the new interface have been implemented and the work on the core of still Vaucanson 1.4 in a instable state. Firstthis report show the work done for Vaucanson 1.4, then on the work undertaken to make Vaucanson 2.0 stable.