Yet Another Vaucanson GUI

From LRDE

Revision as of 18:04, 9 January 2018 by Bot (talk | contribs) (Created page with "{{CSIReport | authors = Florent D'Halluin | title = Yet Another Vaucanson GUI | year = 2008 | abstract = Vaucanson is a finite state machine manipulation platform. Since it wa...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Abstract

Vaucanson is a finite state machine manipulation platform. Since it was started in 2002, the project has been attracting more and more users. In that regard, it requires an efficient user front end.par For non-expert usersautomaton manipulation can be done via taf-kit, a set of command-line tools. A first GUI was developed in 2005. Its use was slow and complicated since it relied on taf-kit for every operation.par This new GUI, plugged directly into the core of the Vaucanson library for efficiencysimplifies the automaton manipulation process and makes full use of the generic algorithms included in the library.