Vaucanson は、有限状態マシン操作プラットフォーム、ライブラリとその上に実装されているツールで構成されます。このライブラリの目標は、大規模な専門力で抽象的で一般的な方法での C++ プログラムの開発を有効にします。1 つの手で、すべて無料モノイドから言葉と任意の semirings 上の重みを持つすべてのオートマトン上で動作するアルゴリズムを書くことができます。だけ擬似の動作を実装する特定のデータ構造で、特定のアルゴリズムを特化できる一方で。