FSMXML for Vaucanson 2.0

From LRDE

Revision as of 17:06, 9 January 2018 by Bot (talk | contribs) (Created page with "{{CSIReport | authors = David Moreira | title = FSMXML for Vaucanson 2.0 | year = 2013 | number = 1201 | abstract = Vaucanson is a finite-state machine manipulation platform f...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Abstract

Vaucanson is a finite-state machine manipulation platform for automata and transducers. The version 2.0 is, today, in active development and has a new core with static and dynamic layers. In Vaucanson 1.4, the input/output was managed by a XML format specified by the Vaucanson Group: FSMXML. My work consisted in refreshing and developing these specifications. Now with this update, FSMXML can be used to save and load automata with specific Weight Sets like rational expressions or even weighted automata.