Implementing rational semiring

From LRDE

Revision as of 18:06, 9 January 2018 by Bot (talk | contribs) (Created page with "{{CSIReport | authors = David Moreira | title = Implementing rational semiring | year = 2011 | number = 1107 | abstract = Vaucanson is a finite state machine manipulation plat...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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.

Retrieved from "https://www.lrde.epita.fr/index.php?title=Publications/moreira.11.seminar&oldid=120850"