Implementing rational semiring
From LRDE
(Redirected from Publications/201107-Seminar-Moreira)- 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.