A short introduction to Vaucanson

A short introduction to VaucansonMarch 31, 2004Contents1 Overview 21.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21.2 Aim of this document . . . . . . . . . . . . . . . . . . . . . . . . 21.3 Installation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31.4 Directory tree . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31.5 A piece of code . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42 Getting started with Vaucanson 53 Fundamental: enriched C++ 84 Dealing with algebraic structures 104.1 Alphabet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104.2 Free monoid . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 114.3 Semiring . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 154.4 Series . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 174.4.1 Polynoms . . . . . . . . . . . . . . . . . . . . . . . . . . . 174.4.2 Rational expression . . . . . . . . . . . . . . . . . . . . . 185 Automaton 205.1 Instantiating an automaton . . . . . . . . . . . . . . . . . . . . . 205.1.1 Structure operations . . . . . . . . . . . . . . . . . . . . . 215.1.2 Delta function . . . . . . . . . . . . . . . . . . . . . . . . 215.2 Standard services . . . . . . . . . . . . . . . . . . . . . . . . . . . 215.3 Standard macros . . . . . . . . . . . . . . . . . . . . . . . . . . . 225.4 Usage example . . . . . . . . . . . . . . . . . . . . . . . . . . . . 225 ...