Difference between revisions of "Vcsn"

From LRDE

(Buttons)
(Fix title)
 
(46 intermediate revisions by 2 users not shown)
Line 1: Line 1:
{{DISPLAYTITLE:The Vaucanson Project}}
+
{{DISPLAYTITLE: Vcsn — Be Rational}}
 
[[Category:Vaucanson]]
 
[[Category:Vaucanson]]
 
__NOTOC__
 
__NOTOC__
   
<center> [[File:vaucanson-log.png]] </center>
+
<center> [[File:Vcsn-logo.png]] </center>
   
  +
<!--
 
<center>
 
<center>
 
[[File:Logo Telecom Paristech.png|x100px]][[File:lrde.png|x100px]][[File:Logo Labri.jpg|x100px]]
 
[[File:Logo Telecom Paristech.png|x100px]][[File:lrde.png|x100px]][[File:Logo Labri.jpg|x100px]]
 
</center>
 
</center>
  +
-->
 
<center>
 
<center>
 
{| class="wikitable"
 
{| class="wikitable"
| style="color: white; background-color: #01DF01;" | [http://vcsn-sandbox.lrde.epita.fr '''Try it''']
+
| style="color: white; background-color: #82E0AA;" | [http://vcsn-sandbox.lrde.epita.fr '''Try it''']
| style="color: white; background-color: #01DF01;" | [[Vcsn/Download|'''Download''']]
+
| style="color: white; background-color: #82E0AA;" | [[Vcsn/Download|'''Download''']]
| style="color: white; background-color: #01DF01;" | [http://www.lrde.epita.fr/dload/vcsn/2.0/notebooks '''Python doc''']
+
| style="color: white; background-color: #82E0AA;" | [http://vcsn-sandbox.lrde.epita.fr/notebooks/Doc/!Read-me-first.ipynb '''Python doc''']
| style="color: white; background-color: #01DF01;" | [https://www.lrde.epita.fr/dload/vcsn/2.0/vcsn.htmldir '''C++ doc''']
+
| style="color: white; background-color: #82E0AA;" | [https://www.lrde.epita.fr/dload/vcsn/latest/vcsn.htmldir '''C++ doc''']
 
|}
 
|}
 
</center>
 
</center>
   
Vaucanson is a platform dedicated to the computation of, and with,
+
Vcsn is a platform dedicated to the computation of, and with,
finite state machines. It provides an efficent C++ library, a Python
+
finite state machines. It provides an efficient C++ library, a Python
 
interface, and a graphical user interface on top of IPython.
 
interface, and a graphical user interface on top of IPython.
   
Line 33: Line 35:
 
obtain efficient code from algorithms written in an abstract way.
 
obtain efficient code from algorithms written in an abstract way.
   
Vaucanson benefits from the expertise the LRDE gained from our
+
Vcsn benefits from the expertise the LRDE gained from our
 
intensive work on high performance generic programming for Olena. On
 
intensive work on high performance generic programming for Olena. On
the other hand, its theoretical well-foundedness is ensured by Jacques
+
the other hand, its theoretical well-foundedness was ensured by Jacques
 
Sakarovitch, at Télécom ParisTech, and with Sylvain Lombardy at the
 
Sakarovitch, at Télécom ParisTech, and with Sylvain Lombardy at the
 
Laboratoire Bordelais de Recherche en Informatique.
 
Laboratoire Bordelais de Recherche en Informatique.
 
About ten years after its first inception, the project is taking a new
 
start with the Vaucanson 2 effort. This complete redesign aims at
 
keeping the successful parts of its predecessor (especially genericity
 
and large feature set) while addressing its shortcomings (compile-time
 
and runtime efficiency, flexibility).
 
   
 
<center>
 
<center>
  +
{{#widget:YouTube|id=LzbXsEmqyC0|height=100px}} {{#widget:YouTube|id=LFYVBNbStZU|height=100px}}
{{#widget:Ohloh Project|id=vaucanson-2|type=factoids|right}}
 
  +
</center>
  +
<center>
 
{{#widget:Ohloh Project|id=vcsn|type=factoids|right}}
 
</center>
 
</center>
   
Line 54: Line 53:
 
== Information, Documentation ==
 
== Information, Documentation ==
   
* [http://www.lrde.epita.fr/dload/vcsn/2.0/notebooks Documentation of the Python interface]
+
* [http://www.lrde.epita.fr/dload/vcsn/latest/notebooks Documentation of the Python interface]
* The [[Vcsn/News File|News File]] contains many examples
+
* The News files ([[Vcsn/News File|Latest release]] or [https://gitlab.lrde.epita.fr/vcsn/vcsn/blob/master/NEWS.md current working version]) contains many examples
* [https://www.lrde.epita.fr/dload/vcsn/2.0/vcsn.htmldir/ The C++ Reference Manual] is poor, but exists
+
* [https://www.lrde.epita.fr/dload/vcsn/latest/vcsn.htmldir/ The C++ Reference Manual]
  +
* [https://www.youtube.com/playlist?list=PLu008__K5BwHSG3KgqGMHK2LuNP6MUSUr Videos about Vcsn]
* [[Vcsn/TroubleShooting|Trouble Shooting]] some problems with building or using Vaucanson
+
* [[Vcsn/TroubleShooting|Troubleshooting]] some problems with building or using Vcsn
* [[Vcsn/Papers|Papers related to Vaucanson]]
 
  +
* [[Vcsn/Papers|Papers related to Vcsn]] (When referring to Vcsn/Vaucanson 2, please cite [[Publications/demaille.13.ciaa|this paper]].)
* [[Vcsn/RelatedLinks|Related links]]
 
* [[Vcsn/People|People behind Vaucanson]], and more generally [[Vcsn/Contributors|contributors]]
+
* [[Vcsn/People|People behind Vcsn]], and more generally [[Vcsn/Contributors|contributors]]
   
 
== Resources ==
 
== Resources ==
   
* [[Vcsn/Download|Download]]: The latest version of the Vaucanson 1 platform
+
* [[Vcsn/Download|Download]]: All the releases of Vcsn
  +
* [[Vcsn/Nightly|Nightly]]: The nightly builds of Vcsn
* [https://gitlab.lrde.epita.fr/vcsn/vaucanson1 V1 Repository]: Browsable git repository of Vaucanson 1
 
* [https://gitlab.lrde.epita.fr/vcsn/vaucanson V2 Repository]: Browsable git repository of Vaucanson 2 (<tt>https://gitlab.lrde.epita.fr/vcsn/vaucanson.git</tt> for anonymous access, or <tt>git@gitlab.lrde.epita.fr:vcsn/vaucanson.git</tt> for registered contributors)
+
* [https://gitlab.lrde.epita.fr/vcsn/vcsn Repository]: Browsable git repository of Vcsn (<tt>https://gitlab.lrde.epita.fr/vcsn/vcsn</tt> for anonymous access, or <tt>git@gitlab.lrde.epita.fr:vcsn/vcsn</tt> for registered contributors)
  +
  +
== Legacy ==
 
* [https://gitlab.lrde.epita.fr/vcsn/vaucanson1 Vaucanson Repository]: Browsable git repository of Vaucanson 1
 
* [[Vcsn/XML|FSMXML]]: Our proposal of an XML representation for (weighted) automata and rational expressions.
 
* [[Vcsn/XML|FSMXML]]: Our proposal of an XML representation for (weighted) automata and rational expressions.
  +
* [[Vcsn/Vaucanson|Vaucanson]]: Releases of Vaucanson 1
   
 
== Development ==
 
== Development ==
   
 
The following resources are the group's main means of discussion:
 
The following resources are the group's main means of discussion:
  +
* [https://gitlab.lrde.epita.fr/vcsn/vcsn/issues Issue Tracker]: The place to create bug reports (and look existing tasks)
 
* [https://lists.lrde.epita.fr/listinfo/vaucanson Vaucanson]: General questions, discussions and announcements
+
* [https://lists.lrde.epita.fr/listinfo/vcsn Vcsn]: General questions, bug reports; discussions and announcements
* [https://lists.lrde.epita.fr/listinfo/vaucanson-bugs Vaucanson bugs]: Bug reports about the library
+
* [https://lists.lrde.epita.fr/listinfo/vcsn-patches vcsn patches]: Patches and related discussions
* [https://lists.lrde.epita.fr/listinfo/vaucanson-patches Vaucanson patches]: Patches and related discussions
 
* [https://trac.lrde.epita.fr/vaucanson/ Trac]: (obsolete) issue tracker for Vaucanson 1
 
   
 
== Contact ==
 
== Contact ==
   
Send any question or comments to vaucanson@lrde.epita.fr.<br>
+
Send any question or comments to vcsn@lrde.epita.fr.<br>
Send bug reports to vaucanson-bugs@lrde.epita.fr.
+
File bug reports on [https://gitlab.lrde.epita.fr/vcsn/vcsn/issues Git Lab], or send bug reports to vcsn-bugs@lrde.epita.fr.
   
 
[[Category:Vaucanson]]
 
[[Category:Vaucanson]]

Latest revision as of 17:12, 8 May 2018


Vcsn-logo.png
Try it Download Python doc C++ doc

Vcsn is a platform dedicated to the computation of, and with, finite state machines. It provides an efficient C++ library, a Python interface, and a graphical user interface on top of IPython.

Here finite state machines is to be understood in the broadest possible sense: finite automata with multiple tapes — often called transducers then — or even more generally finite automata with multiplicity, that is, automata that not only accept sequences of symbols but compute for such sequence a "value" that is associated with it and which can be taken in any semiring.

Indeed, our framework is the set of automata with multiplicity over any semiring: a general algorithm is written just once and can be instantiated to any particular kind of automaton. As a result, we obtain efficient code from algorithms written in an abstract way.

Vcsn benefits from the expertise the LRDE gained from our intensive work on high performance generic programming for Olena. On the other hand, its theoretical well-foundedness was ensured by Jacques Sakarovitch, at Télécom ParisTech, and with Sylvain Lombardy at the Laboratoire Bordelais de Recherche en Informatique.

Latest News (more...)

  • May 8th, 2018: Vcsn 2.8 is released!
  • March 15th, 2018: Vcsn 2.7 is released!
  • November 13th, 2017: Vcsn 2.6 is released!
  • January 28th, 2017: Vcsn 2.5 is released!
  • November 16th, 2016: Vcsn 2.4 is released!
  • July 8th, 2016: Vcsn 2.3 is released!
  • February 19th, 2016: Vcsn 2.2 is released!
  • October 11th, 2015: Vcsn 2.1 is released!
  • October 1st, 2015: Vcsn's git repository moved.
Run git remote set-url origin git@gitlab.lrde.epita.fr:vcsn/vcsn in your old repository to retarget it.


Information, Documentation

Resources

Legacy

  • Vaucanson Repository: Browsable git repository of Vaucanson 1
  • FSMXML: Our proposal of an XML representation for (weighted) automata and rational expressions.
  • Vaucanson: Releases of Vaucanson 1

Development

The following resources are the group's main means of discussion:

  • Issue Tracker: The place to create bug reports (and look existing tasks)
  • Vcsn: General questions, bug reports; discussions and announcements
  • vcsn patches: Patches and related discussions

Contact

Send any question or comments to vcsn@lrde.epita.fr.
File bug reports on Git Lab, or send bug reports to vcsn-bugs@lrde.epita.fr.