Introduction

The Automaton Standard Template Library (ASTL) is a set of generic C++ components for efficient automata manipulation. As any library geared toward supporting the generic programming paradigm, it is made of two distinct parts : a collection of concepts specific to the automata domain which is described by this documentation and a set of software components (containers, accessors and algorithms) implementing the concepts.